PDF Leyes Logicas - Compress
PDF Leyes Logicas - Compress
PDF Leyes Logicas - Compress
“Una proposición o es
p ˅ ~p verdadera o es falsa, no hay E.9: LEYES DEL CONDICIONAL
una tercera posibilidad”
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”
afirmación” a) (p ↔ q) ≡ (p → q) ˄ (q → p)
b) (p ↔ q) ≡ ~[(p ˅ q) ˄ ~(p ˄ q)]
E.2: LEY DE LA IDEMPOTENCIA
~(p ∆ q)
≡ ~(p
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)
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) q) ˄ r
r) ≡ (p ˄ q)
b) p ˅ (q ˅ r) ≡ (p ˅ q) ˅ r
c) p ↔ (q ↔ r) ≡ (p ↔ q) ↔ r E.13: LEYES DE EXPORTACIÓN
a) (p ˄ q)
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)
r) ≡ (p ˅ q)
q) ˄ (p ˅ r)
c) p → (q ˄ r) ≡ (p → q) ˄ (p → r) OBSERVACIÓN:
d) p → (q ˅ r)
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)
q) ≡ (~p ˅ ~q)
~q)
b) ~(
~(p
p ˅ q) ≡ (~p
(~p ˄ ~q
~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
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