Logik: Tautologi, kontradiktion och logisk implikation