afronden bewijs m ⇒ q met p ⇒ q and m ⇒ p ∨ q

Het forum voor overige vragen betreffende wiskunde uit het hoger onderwijs.
Plaats reactie
gerard
Nieuw lid
Nieuw lid
Berichten: 5
Lid geworden op: 08 mar 2017, 12:32

afronden bewijs m ⇒ q met p ⇒ q and m ⇒ p ∨ q

Bericht door gerard » 09 mar 2017, 19:05

Hallo dit hebt ik als deel van het bewijs

1. p-> q
2. m-> p v q
3. |m (assume)
4. |p v q (implication elemination)
5. ||p (assume)
6. ||q (implication elemination)

Nu loop ik vast. Wat is de volgende stap en hoe pas ik dat toe in onderstaande software?

http://logic.stanford.edu/intrologic/ex ... 04_04.html

groet,

Gerard

arie
Moderator
Moderator
Berichten: 3075
Lid geworden op: 09 mei 2008, 09:19

Re: afronden bewijs m ⇒ q met p ⇒ q and m ⇒ p ∨ q

Bericht door arie » 11 mar 2017, 20:28

Helpt de knop "Show Answer" op die web-pagina je (onderaan links op het scherm)?
Of heb je meer informatie nodig?

gerard
Nieuw lid
Nieuw lid
Berichten: 5
Lid geworden op: 08 mar 2017, 12:32

Re: afronden bewijs m ⇒ q met p ⇒ q and m ⇒ p ∨ q

Bericht door gerard » 11 mar 2017, 23:25

Oeps....... Foutje.

Bedankt.

Plaats reactie