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

image

image

image

image

image

Elke uitspraak (in de propositionele logica) is samengesteld uit ‘kortere’ uitspraken

Twee uitspraken noemen we logisch equivalent als ze dezelfde waarheidstabel hebben