LEYES LÓGICAS

1. LEYES DE IDEMPOTENCIA : p p p
p p p

2. LEYES CONMUTATIVAS : pqq p

pqq p

3. LEYES ASOCIATIVAS :  p  q  r  p  q  r 
 p  q  r  p  q  r 
4. LEYES DE NEGACIÓN : (p )≡ p
p p ≡F
p  p≡V

5. LEYES DE IDENTIDAD : p V  p
pF  p

6. LEYES DE MORGAN : (p  q) ≡  p  q

(p q) ≡  p   q

7. DEFINICIÓN DE IMPLICACIÓN : p  q ≡  p q

8. LEYES DISTRIBUTIVAS : p  q  r    p  q    p  r 
p  q  r    p  q    p  r 

9. LEYES DE ABSORCIÓN : p   p  q  p
p   p  q  p
pF F
p V V

10. DEFINICIÓN DE DOBLE IMPLICACIÓN : p  q   p  q   q  p 

11. EQUIVALENCIA LÒGICA : p  q    p  q

Facultad de Ingeniería en Ciencias de la Computación y Telecomunicaciones
Números de referencia: 73650500 – 69000850 [supportficct.somee.com]
Santa Cruz - Bolivia
 LEYES DE OPERACIONES CON CONJUNTOS

1. LEYES DE IDEMPOTENCIA : A A A ; A A A

2. LEYES CONMUTATIVAS : A B  B  A
A B  B  A

3. LEYES ASOCIATIVAS : A  B  C    A  B  C
A  B  C    A  B  C

4. LEYES DISTRIBUTIVAS : A  B  C    A  B   A  C 
A  B  C    A  B   A  C 
5. LEYES DE ABSORCIÓN : A  A  C   A
A  A  C   A
AU U
A   

6. LEYES DE MORGAN :  A  B C  AC  B C

 A  B C  AC  B C

7. LEYES DE IDENTIDAD : A   A ; AU  A

8. DEFINICIÓN DE DIFERENCIA : A  B  A  BC

9. LEYES DE COMPLEMENTO : A 
C C
A
UC 
C  U
A  AC  U
A  AC  
Facultad de Ingeniería en Ciencias de la Computación y Telecomunicaciones
Números de referencia: 73650500 – 69000850 [supportficct.somee.com]
Santa Cruz - Bolivia
 REGLAS DE INFERENCIA LÓGICA

1. MODUS PONENDO PONENS ( PP ) 2. MODUS TOLLENDO TOLLENS ( TT )

pq pq
p q
q  p
3. MODUS TOLLENDO PONENS ( TP )

a) pq b) pq
 p q
q p
4. LEY DE SIMPLIFICACIÓN ( LS )

a) pq b) pq
p q
5. LEY DE CONJUNCIÓN ( LC ) 6. LEY DE ADICIÓN ( LA )

p
p
q
p A
pq
7. LEY DEL SILOGISMO HIPOTÉTICO ( SH ) 8. DILEMA CONSTRUCTIVO ( DC )

pq
pq rt
qr pr
pr qt
9. DILEMA DESTRUCTIVO ( DD )

pq Para más material:

rt Puedes descargar apuntes, modelos de exámenes y
libros desde la aplicación del grupo Support.
 q  t
 p  r
Ayudantias Support
Support - FICCT

Facultad de Ingeniería en Ciencias de la Computación y Telecomunicaciones

Números de referencia: 73650500 – 69000850 [supportficct.somee.com]
Santa Cruz - Bolivia