logica Flashcards
De wet van de dubbele negatie
7(7p) <=> p
De wet van de uitgesloten derde
p v 7p
De omzetting van een implicatie in een disjunctie
(p => q) <=> (7p v q)
De wet van de contrapositie
(p =>q) <=> (7q => 7p)
De omzetting van een equivalentie in een conjunctie
(p <=> q) <=> (p => q) /\ (q => p)
De wet van de commutativiteit v/d conjunctie
p /\ q <=> q /\ p
De wet van de commutativiteit v/d disjunctie
p v q <=> q v p
De wet van de commutativiteit v/d equivalentie
(p <=> q) <=> (q <=> p)
De wet van de associativiteit v/d conjunctie
(p /\ q) /\ r <=> p /\ (q /\ r)
De wet van de associativiteit v/d disjunctie
(p v q) v r <=> p v(q v r)
De wet van de associativiteit v/d equivalentie
[(p <=> q) <=> r] <=> [p <=>(q <=> r)]
De wet van de distributiviteit v/d conjuntie t.o.v. de disjunctie
p /\ (q v r) <=> (p /\ q) v (p /\ r)
De wet van de distributiviteit v/d disjunctie t.o.v. de conjunctie
p v(q /\ r) <=> (p v q) /\ (p v r)
De wet van de transitiviteit v/d implicatie (hypothetisch syllogisme)
[(p => q) /\ (q => r)] => (p => r)
De wet van de transitiviteit van de equivalentie
[(p <=> q) /\ (q <=> r)] => (p <=> r)
