PDF Leyes Logicas - Compress

Descargar como pdf o txt
Descargar como pdf o txt
Está en la página 1de 2

 

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” 
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 ˄ ~p) ser verdadera y falsa a la vez” 
vez”   b)  p ˅ F ≡ p 
c)  p ˄ V ≡ p 
C.3: LEY DE TERCIO EXCLUIDO d)  p ˄ F ≡ F 

“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

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

También podría gustarte

pFad - Phonifier reborn

Pfad - The Proxy pFad of © 2024 Garber Painting. All rights reserved.

Note: This service is not intended for secure transactions such as banking, social media, email, or purchasing. Use at your own risk. We assume no liability whatsoever for broken pages.


Alternative Proxies:

Alternative Proxy

pFad Proxy

pFad v3 Proxy

pFad v4 Proxy