Bij het onderzoeken van de geldigheid van redeneringen maak je
van een redenering een soort optelsom. Dan kun je - nog los van
de waarheid van de beweringen (premissen) - bepalen of de
redenering in orde is (Zoals je al hebt gelezen: geldigheid is iets heel anders dan waarheid)