Pagina 1 van 1

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

Geplaatst: 09 mar 2017, 19:05
door gerard
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

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

Geplaatst: 11 mar 2017, 20:28
door arie
Helpt de knop "Show Answer" op die web-pagina je (onderaan links op het scherm)?
Of heb je meer informatie nodig?

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

Geplaatst: 11 mar 2017, 23:25
door gerard
Oeps....... Foutje.

Bedankt.