Scribd
Cargar
374 vistas1 página

Principales Leyes Lógicas Explicadas

Este documento resume las principales leyes lógicas, incluyendo los tres principios clásicos de la lógica (identidad, no contradicción y tercio excluido), equivalencias notables como la ley de la doble negación, leyes conmutativas, asociativas, distributivas, de Morgan y del condicional y bicondicional. En total se enumeran 13 leyes lógicas y sus variaciones.

Cargado por

DEVY KRISTELLY HUESEMBE SAHUARICO
Derechos de autor
© © All Rights Reserved
Nos tomamos en serio los derechos de los contenidos. Si sospechas que se trata de tu contenido, reclámalo aquí.
Formatos disponibles
Descarga como PDF, TXT o lee en línea desde Scribd
374 vistas1 página

Principales Leyes Lógicas Explicadas

Este documento resume las principales leyes lógicas, incluyendo los tres principios clásicos de la lógica (identidad, no contradicción y tercio excluido), equivalencias notables como la ley de la doble negación, leyes conmutativas, asociativas, distributivas, de Morgan y del condicional y bicondicional. En total se enumeran 13 leyes lógicas y sus variaciones.

Cargado por

DEVY KRISTELLY HUESEMBE SAHUARICO
Derechos de autor
© © All Rights Reserved
Nos tomamos en serio los derechos de los contenidos. Si sospechas que se trata de tu contenido, reclámalo aquí.
Formatos disponibles
Descarga como PDF, TXT o lee en línea desde Scribd

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)

También podría gustarte