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.
0 calificaciones0% encontró este documento útil (0 votos)
165 vistas1 página
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.
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.
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.
Descargue como PDF, TXT o lea en línea desde Scribd
Descargar como pdf o txt
Está en la página 1de 1
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)