Ik maak gebruik van het boek 'Logica voor Informatici', tweede druk. Voorbeeld 4.5 vraagt de afleiding van
(p of q) -> r uit (p -> r) en (q -> r)
(p->r) en (q->r) wordt gesplist via de en-eliminatie tot twee formules waarbij de introductie van de hulpaannames p resp q leiden tot de (tussentijdse) conclusie r. Nu zou ik verwachten dat de hulpaannames p en q tot de formule (p en q) zou leiden waarna we via de -> introductie de hulpaannames kunnen elimineren door hetvolgende af te leiden: (p en q) -> r. Het boek introduceert echter een derde hulpaanname (p of q) en komt tot de afleiding (p of q) -> r.
Ofwel (hopelijk ziet dit er duidelijk uit na het plaatsen van dit bericht
Code: Selecteer alles
(p -> r) en (q -> r)
(p -> r) en (q -> r)
____________________
____________________
(p -> r)
p (1) (q -> r)
q (2) p (1) q (2)
____________________________ __________________________ ____________
r
r
(p en q)
__________________________________________________________________
(p en q) -> r
Met de waarheidstabellen zie ik dat er bijv. voor p=1, q=0 en r=0 de gevraagde uitwerking klopt en die van mij niet, ik doe dus iets fout
Kan iemand wat uitleg geven over de fout die ik maak?