Oeps....... Foutje.
Bedankt.
Er zijn 5 resultaten gevonden
- 11 mar 2017, 23:25
- Forum: Hoger onderwijs - overig
- Onderwerp: afronden bewijs m ⇒ q met p ⇒ q and m ⇒ p ∨ q
- Reacties: 2
- Weergaves: 5230
- 09 mar 2017, 19:05
- Forum: Hoger onderwijs - overig
- Onderwerp: afronden bewijs m ⇒ q met p ⇒ q and m ⇒ p ∨ q
- Reacties: 2
- Weergaves: 5230
afronden bewijs m ⇒ q met p ⇒ q and m ⇒ p ∨ q
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/exercises/...
- 08 mar 2017, 14:44
- Forum: Hoger onderwijs - overig
- Onderwerp: bewijs r met p q en (p ∧ q ⇒ r) als premissen
- Reacties: 4
- Weergaves: 6636
Re: bewijs r met p q en (p ∧ q ⇒ r) als premissen
and introduction over p en q geeft p&q
implication reduction over p&q en (p&q)-> r, geeft r.
bedankt!
implication reduction over p&q en (p&q)-> r, geeft r.
bedankt!
- 08 mar 2017, 13:32
- Forum: Hoger onderwijs - overig
- Onderwerp: bewijs r met p q en (p ∧ q ⇒ r) als premissen
- Reacties: 4
- Weergaves: 6636
Re: bewijs r met p q en (p ∧ q ⇒ r) als premissen
premisse 1: p -> q premisse 2: q -> r bewijs p -> r 1. p->q 2. q->r | p als aaname | p->q gegeven p wordt q (implication elemantation rule) | q->r voorgaan laat zien dat q waar is, nog een keer de implication elimation rule | r 3. toepassen implication creation rule met r is waar betekent p -> r is ...
- 08 mar 2017, 12:43
- Forum: Hoger onderwijs - overig
- Onderwerp: bewijs r met p q en (p ∧ q ⇒ r) als premissen
- Reacties: 4
- Weergaves: 6636
bewijs r met p q en (p ∧ q ⇒ r) als premissen
hallo,
ik moet r bewijzen gegeven drie premissen p,q, en (p ^ q) -> r met behulp van het fitch system.
Geen idee waar ik moet beginnen (anders dan premissen opschrijven). Kan iemand mij op de goede weg helpen?
alvast bedankt!
grtoet,
Gerard
ik moet r bewijzen gegeven drie premissen p,q, en (p ^ q) -> r met behulp van het fitch system.
Geen idee waar ik moet beginnen (anders dan premissen opschrijven). Kan iemand mij op de goede weg helpen?
alvast bedankt!
grtoet,
Gerard