Logisch bewijs
Een logisch bewijs kan gegeven worden met behulp van een waarheidstafel. Wanneer er meerdere proposities zijn, wordt zo'n tafel al snel erg groot. Dan wordt het raadzaam een logische afleiding op te stellen.
- Opschrijven van geformaliseerde premissen
- Nieuwe proposities formuleren die equivalent zijn met of volgen uit voorgaande premissen
- Wanneer de laatste propositie de conclusie is, is er een geldige redenering.
De proposities worden genummerd. Achter iedere propositie wordt vermeld hoe deze verkregen is tussen haakjes, nl. de propositienummers en vervangingsregel/afleidingsregel waarvan deze afgeleid is. (P) geeft aan dat het de propositie een premisse is.
Bijvoorbeeld
|
Als Jan in Parijs is, is Melissa in New York Jan is in Parijs, Fred is in Rome. Is Melissa in New York? |
J: Jan in Parijs F: Fred in Rome M: Melissa in New York |
| Formalisering: |
Bewijs:
|