Proposities

1.1 logische uitspraken (proposities)

propositie (andere namen)

waarheidswaarde,waarheidstabel

propositie

is waar of niet waar

propositie tabel

negatie ( in woorden )

niet/omgekeerd

negatie symbool

negatie tabel

conjunctie ( in woorden )

enkel waar als beide proposities waar zijn

conjunctie symbool

conjunctie tabel

disjunctie ( in woorden )

enkel waar als minstens 1 van de proposities waar is

disjunctie symbool

disjunctie tabel

uitsluiting ( in woorden )

is waar als minstens 1 van de proposities waar is

uitsluiting symbool

uitsluiting tabel

Implicatie ( in woorden )

De implicatie van twee gegeven proposities p en q is een uitspraak die enkel vals is als p waar is en q vals is.

Implicatie symbool

Implicatie tabel

Equivalentie ( in woorden )

De equivalentie van twee proposities p en q is een uitspraak die enkel waar is als p en q beide waar zijn of beide vals zijn.

Equivalentie symbool

Equivalentie tabel

Tautologie ( in woorden )

Een tautologie is een samengestelde uitspraak die altijd waar is

contradictie ( in woorden )

Een contradictie is een samengestelde uitspraak die altijd vals is

Contrapositie ( afgebeeld )