Logica formules en benamingen

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