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
afronden bewijs m ⇒ q met p ⇒ q and m ⇒ p ∨ q
Re: afronden bewijs m ⇒ q met p ⇒ q and m ⇒ p ∨ q
Helpt de knop "Show Answer" op die web-pagina je (onderaan links op het scherm)?
Of heb je meer informatie nodig?
Of heb je meer informatie nodig?
Re: afronden bewijs m ⇒ q met p ⇒ q and m ⇒ p ∨ q
Oeps....... Foutje.
Bedankt.
Bedankt.