Logica formules
Benamingen
Tautologie -> Altijd w in centrale kolom.
Ex falso quod libet-> Antecedens altijd vals, implicatie altijd waar; uit een tegenstrijdige
bewering volgt om het even wat. Eender wat kan worden afgeleid als je een contradictie
hebt.
Tautologieën-> Twee equivalente formules, verbonden door een equivalentie-teken.
Verschil inductief/deductief:
Deductief
o premissen waar -> conclusie waar
o waarheid premissen leidt noodzakelijk tot waarheid conclusie – het kan niet
dat de premissen waar zijn en de conclusie niet
Inductief
o premissen waar -> conclusie waarschijnlijk waar/niet waar
o als de premissen waar zijn, kan de conclusie ook niet waar zijn
Reductio ad absurdum -> veronderstelling conclusie vals en premissen waar: contradictie;
contradictie kan niet – absurd -> redenering is deductief geldig
Waarheidstafels
Inclusieve disjunctie Exclusieve disjunctie Contradictie
Equivalentie Implicatie
Benamingen
Tautologie -> Altijd w in centrale kolom.
Ex falso quod libet-> Antecedens altijd vals, implicatie altijd waar; uit een tegenstrijdige
bewering volgt om het even wat. Eender wat kan worden afgeleid als je een contradictie
hebt.
Tautologieën-> Twee equivalente formules, verbonden door een equivalentie-teken.
Verschil inductief/deductief:
Deductief
o premissen waar -> conclusie waar
o waarheid premissen leidt noodzakelijk tot waarheid conclusie – het kan niet
dat de premissen waar zijn en de conclusie niet
Inductief
o premissen waar -> conclusie waarschijnlijk waar/niet waar
o als de premissen waar zijn, kan de conclusie ook niet waar zijn
Reductio ad absurdum -> veronderstelling conclusie vals en premissen waar: contradictie;
contradictie kan niet – absurd -> redenering is deductief geldig
Waarheidstafels
Inclusieve disjunctie Exclusieve disjunctie Contradictie
Equivalentie Implicatie
