Er zijn 5 resultaten gevonden

door gerard
09 mar 2017, 19:05
Forum: Hoger onderwijs - overig
Onderwerp: afronden bewijs m ⇒ q met p ⇒ q and m ⇒ p ∨ q
Reacties: 2
Weergaves: 1572

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/...
door gerard
08 mar 2017, 14:44
Forum: Hoger onderwijs - overig
Onderwerp: bewijs r met p q en (p ∧ q ⇒ r) als premissen
Reacties: 4
Weergaves: 2015

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!
door gerard
08 mar 2017, 13:32
Forum: Hoger onderwijs - overig
Onderwerp: bewijs r met p q en (p ∧ q ⇒ r) als premissen
Reacties: 4
Weergaves: 2015

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 ...
door gerard
08 mar 2017, 12:43
Forum: Hoger onderwijs - overig
Onderwerp: bewijs r met p q en (p ∧ q ⇒ r) als premissen
Reacties: 4
Weergaves: 2015

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