Hoofdstuk 4: Propositielogica: afleidingen

Inleiding: structuur van redeneringen
Natuurlijke deductie
Afleidbaar en consistent
Axiomatisch afleiden
Theoretische aspecten van het systeem van natuurlijke deductie
Voorbeeld
In proces: beklaagde enkel schuldig als aanklager een constructief
bewijs geeft voor het schuldig zijn van de beklaagde.
Aanklager mag niet redenering gebruiken: stel beklaagde
onschuldig, dan bekomen we tegenstrijdigheden.
Als aanklager geen constructief bewijs van schuld van beklaagde
kan geven wegens gebrek aan bewijzen, moet op proces beklaagde
niet schuldig verklaard worden, maar dit impliceert niet de
onschuld van de beklaagde.
Regels voor voeren van proces bepalen logica van proces.
L. Storme Hoofdstuk 4: Propositielogica: afleidingen