PRINCIPALES LEYES LÓGICAS

1. LOS TRES PRINCIPIOS LÓGICOS CLÁSICOS E.7: LEY DEL COMPLEMENTO

C.1: LEY DE IDENTIDAD(REFLEXIVIDAD) a) p ˅ ~p ≡ V
p→p “Una proposición solo es b) p ˄ ~p ≡ F
p↔p idéntica a sí mismo”
E.8: LEY DE LA IDENTIDAD
C.2: LEY DE NO CONTRADICCIÓN
a) p˅V≡ V
“Una proposición no puede
~(p ˄ ~p) ser verdadera y falsa a la vez” b) p˅F≡ p
c) p˄V≡ p
C.3: LEY DE TERCIO EXCLUIDO d) p˄F≡ F
e)
“Una proposición o es
p ˅ ~p verdadera o es falsa, no hay E.9: LEYES DEL CONDICIONAL
una tercera posibilidad”
a) p → q ≡ ~p ˅ q
2. EQUIVALENCIAS NOTABLES b) ~(p → q) ≡ p ˄ ~q
E.1: LEY DE LA DOBLE NEGACIÓN(INVOLUCIÓN)
E.10: LEYES DEL BICONDICIONAL
“La negación de la negación
~(~p) ≡ p es una afirmación” a) (p ↔ q) ≡ (p → q) ˄ (q → p)
b) (p ↔ q) ≡ ~[(p ˅ q) ˄ ~(p ˄ q)]
E.2: LEY DE LA IDEMPOTENCIA ≡ ~(p ∆ q)
a) p ˄ p ≡ p
b) p ˅ p ≡ p E.11: LEYES DE LA ABSORCIÓN
a) p ˄ (p ˅ q) ≡ p
E.3: LEYES CONMUTATIVAS b) p ˄ (~p ˅ q) ≡ p ˄ q
c) p ˅ (p ˄ q) ≡ p
a) p ˄ q ≡ q ˄ p
d) p ˅ (~p ˄ q) ≡ p ˅ q
b) p ˅ q ≡ q ˅ p
c) p ↔ q ≡ q ↔ p
E.12: LEYES DE TRANSPOSICIÓN
E.4: LEYES ASOCIATIVAS a) (p → q) ≡ (~q → ~p)
b) (p ↔ q) ≡ (~q ↔ ~p)
a) p ˄ (q ˄ r) ≡ (p ˄ q) ˄ r
b) p ˅ (q ˅ r) ≡ (p ˅ q) ˅ r
c) p ↔ (q ↔ r) ≡ (p ↔ q) ↔ r E.13: LEYES DE EXPORTACIÓN
a) (p ˄ q) → r ≡ p → (q → r)
E.5: LEYES DISTRIBUTIVAS b) (p1 ˄ p2 ˄ . . . . . . ˄ pn ) → r ≡
≡ [(p1 ˄ p2 ˄ . . . . . . ˄ pn−1 )] → (pn → r)
a) p ˄ (q ˅ r) ≡ (p ˄ q) ˅ (p ˄ r)
b) p ˅ (q ˄ r) ≡ (p ˅ q) ˄ (p ˅ r)
c) p → (q ˄ r) ≡ (p → q) ˄ (p → r) OBSERVACIÓN:
d) p → (q ˅ r) ≡ (p → q) ˅ (p → r) 1. (p ˄ q) ˄ (p ˅ q) ≡ (p ˄ q)
2. (p ˅ q) ˅ (p ˄ q) ≡ (p ˅ q)

E.6: LEYES DE MORGAN

a) ~(p ˄ q) ≡ (~p ˅ ~q)
b) ~(p ˅ q) ≡ (~p ˄ ~q)
 TABLAS DE VERDAD
1. LA CONJUNCIÓN
p q p˄q
V V V
V F F
F V F
F F F

2. LA DISYUNCIÓN
p q p˅q
V V V
V F V
F V V
F F F
3. LA DISYUNCIÓN EXCLUSIVA O FUERTE
p q p∆q
V V F
V F V
F V V
F F F
4. LA CONDICIONAL
p q p→q
V V V
V F F
F V V
F F V

5. LA BICONDICIONAL
p q p↔q
V V V
V F F
F V F
F F F

6. LA NEGACIÓN