Val232rio Cosemans schreef:
Maar (p --> not r ) v ( q --> not r) zegt toch dat p of q of beide not r impliceren?
Nee, het zegt dat OFWEL p impliceert not r, OFWEL dat q implicieert not r. Mogelijkerwijs allebei, maar niet noodzakelijk. Het kan dus best zijn dat (p--> not r) waar is, maar dat (q --> not r) niet waar is.
Stel, we zijn op zoek naar de oorzaak van AIDS. Na lang onderzoek, hebben we nog twee mogelijke hypotheses:
"het HIV virus veroorzaakt AIDS" (p--> q)
"zitten op een vieze WC bril veroorzaakt AIDS" (r --> q)
We weten dat een van deze twee hypotheses waar moet zijn. We hebben dus: (p-->q) v (r-->q)
Het zou best kunnen dat ze allebei waar zijn, maar dat weten we nog niet.
Als het blijkt dat beide hypotheses waar zijn, dan hebben we dus (p-->q) ^ (r-->q), maar dat is duidelijk een sterkere uitspraak dan wanneer we alleen maar weten dat er in elk geval 1 van de 2 hypotheses waar is.
Verder, als allebei de hypotheses waar zijn, dan zouden we in dat geval ook kunnen zeggen:
"Als je het HIV virus oploopt of als je op een vieze WC bril zit, dan krijg je AIDS", oftewel (p v q) -> r
(in deze laatste zin worden dus zowel het HIV virus als de vieze WC bril als een legitieme oorzaak gezien. Slechts 1 van de 2 oorzaken hoeft plaats te vinden om AIDS te krijgen, en het maakt niet uit welke).