FORMULARIO

p q p∧q p q p∨q p q p→q p q p↔q

p ∼p V V V V V V V V V V V V
V F V F F V F V V F F V F F
F V F V F F V V F V V F V F
F F F F F F F F V F F V
Las leyes de la lógica

∼ (∼ p) ⇔ p

p ∨ p ⇔ p, p∧p⇔p

p∨ ∼ p ⇔ V , p∧ ∼ p ⇔ F

p→q ⇔ ∼p∨q

p↔q ⇔ (p → q ∧ q → p)

∼ (p ∨ q) ⇔ ∼ p∧ ∼ q

∼ (p ∧ q) ⇔ ∼ p∨ ∼ q

∼ (p → q) ⇔ p∧ ∼ q

p ∨ (q ∧ r) ⇔ (p ∨ q) ∧ (p ∨ r)

p ∧ (q ∨ r) ⇔ (p ∧ q) ∨ (p ∧ r)

Las leyes para la cardinalidad de conjuntos:

|A ∪ B| = |A| + |B| − |A ∩ B|

|A ∪ B ∪ C| = |A| + |B| + |C| − |A ∩ B| − |A ∩ C| − |B ∩ C| + |A ∩ B ∩ C|