afronden bewijs m ⇒ q met p ⇒ q and m ⇒ p ∨ q
Geplaatst: 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
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