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

Het forum voor overige vragen betreffende wiskunde uit het hoger onderwijs.

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

Berichtdoor gerard » 09 Mrt 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
gerard
Nieuw lid
Nieuw lid
 
Berichten: 5
Geregistreerd: 08 Mrt 2017, 12:32

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

Berichtdoor arie » 11 Mrt 2017, 20:28

Helpt de knop "Show Answer" op die web-pagina je (onderaan links op het scherm)?
Of heb je meer informatie nodig?
arie
Moderator
Moderator
 
Berichten: 3031
Geregistreerd: 09 Mei 2008, 09:19

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

Berichtdoor gerard » 11 Mrt 2017, 23:25

Oeps....... Foutje.

Bedankt.
gerard
Nieuw lid
Nieuw lid
 
Berichten: 5
Geregistreerd: 08 Mrt 2017, 12:32


Terug naar Hoger onderwijs - overig

Wie is er online?

Gebruikers in dit forum: Geen geregistreerde gebruikers en 5 gasten

Wie is er online?

Er zijn in totaal 5 gebruikers online :: 0 geregistreerd, 0 verborgen en 5 gasten (Gebaseerd op de gebruikers die actief waren gedurende 5 minuten)
De meeste gebruikers ooit tegelijkertijd online was 649 op 31 Okt 2014, 18:45

Gebruikers in dit forum: Geen geregistreerde gebruikers en 5 gasten
Copyright © 2009 Afterburner - Free GPL Template. All Rights Reserved.