Logica
Elke uitspraak is ofwel waar ofwel onwaar
Niet elke zin of uitdrukking vormt een uitspraak
Een uitspraak noteert men doorgaans met een hoofletter
Logische operaties
De negatie
De conjunctie
De disjunctie
De implicatie
De equivalentie
P ⇔ Q is waar enkel en alleen als P en Q beiden waar, of beiden vals zijn
P ⇒ Q is vals enkel en alleen als P waar is en Q vals is
P ∨ Q is vals enkel en alleen als P vals is en Q vals is
P ∧ Q is waar enkel en alleen als P waar is en Q waar is
¬P is waar enkel en alleen als P vals is
Elke uitspraak (in de propositionele logica) is samengesteld uit ‘kortere’ uitspraken
Twee uitspraken noemen we logisch equivalent als ze dezelfde waarheidstabel hebben