Wiskunde - Propositionele logica
Logische operatoren en waarheidstabellen
p ¬p
De negatie
WAAR NIET WAAR
NIET p = ¬p (de negatie van uitspraak p)
NIET WAAR WAAR
De conjunctie
p EN q = p ˄ q (de conjunctie van uitspraak p p q p˄q
en q) WAAR WAAR WAAR
WAAR NIET WAAR NIET WAAR
De conjunctie is enkel waar als ze beide waar NIET WAAR WAAR NIET WAAR
zijn. NIET WAAR NIET WAAR NIET WAAR
De disjunctie
p OF q = p ˅ q (de disjunctie van uitspraak
p q p˅q
p en q) WAAR WAAR WAAR
WAAR NIET WAAR WAAR
De disjunctie is enkel waar als ze beide niet NIET WAAR WAAR WAAR
waar zijn. NIET WAAR NIET WAAR NIET WAAR
De implicatie p q p⇒q
ALS… DAN… = p ⇒ q WAAR WAAR WAAR
WAAR NIET WAAR NIET WAAR
Als de voorwaarde niet geldt, dan klopt de NIET WAAR WAAR WAAR
implicatie altijd. NIET WAAR NIET WAAR WAAR
p q p⇒q
De equivalentie
WAAR WAAR WAAR
… ALS EN SLECHTS ALS… = p ⇔ q WAAR NIET WAAR NIET WAAR
NIET WAAR WAAR NIET WAAR
Twee uitspraken betekenen eigenlijk NIET WAAR NIET WAAR WAAR
hetzelfde.
Logische operatoren en waarheidstabellen
p ¬p
De negatie
WAAR NIET WAAR
NIET p = ¬p (de negatie van uitspraak p)
NIET WAAR WAAR
De conjunctie
p EN q = p ˄ q (de conjunctie van uitspraak p p q p˄q
en q) WAAR WAAR WAAR
WAAR NIET WAAR NIET WAAR
De conjunctie is enkel waar als ze beide waar NIET WAAR WAAR NIET WAAR
zijn. NIET WAAR NIET WAAR NIET WAAR
De disjunctie
p OF q = p ˅ q (de disjunctie van uitspraak
p q p˅q
p en q) WAAR WAAR WAAR
WAAR NIET WAAR WAAR
De disjunctie is enkel waar als ze beide niet NIET WAAR WAAR WAAR
waar zijn. NIET WAAR NIET WAAR NIET WAAR
De implicatie p q p⇒q
ALS… DAN… = p ⇒ q WAAR WAAR WAAR
WAAR NIET WAAR NIET WAAR
Als de voorwaarde niet geldt, dan klopt de NIET WAAR WAAR WAAR
implicatie altijd. NIET WAAR NIET WAAR WAAR
p q p⇒q
De equivalentie
WAAR WAAR WAAR
… ALS EN SLECHTS ALS… = p ⇔ q WAAR NIET WAAR NIET WAAR
NIET WAAR WAAR NIET WAAR
Twee uitspraken betekenen eigenlijk NIET WAAR NIET WAAR WAAR
hetzelfde.
