Propositie
een zin die ofwel waar is ofwel niet waar is
Predikaat
proposities maar met een symbool die geen waarde heeft
vrije veranderlijken
symbool van een predikaat
de negatie of ontkenning van
als p waar is dan is q niet waar, als q waar is dan is p niet waar
negatie van P
-P
CONJUNCTIE
(‘en’)
p^q
0
0
0
1
DISJUNCTIE
(‘inclusieve of’) = en/of
PvQ
0
1
1
1
EXCLUSIEVE OF
PvQ
0
1
1
0
IMPLICATIE
als-dan-propositie of als-dan-bewering wordt in de wiskunde een implicatie genoemd
p⇒q
1
1
0
1
EQUIVALENTIE
p⇔q
1
0
0
1
tautologie.
samengestelde propositie die altijd waarheidswaarde 1 heeft
Wetten van de Morgan
7(P^Q) <=> 7Pv7Q
contradictie
Heeft een samengestelde propositie altijd waarheidswaarde 0
Contrapositie
(P⇒Q)(-Q⇒-P)