Idempotencia Leyes de complementación

(𝑝𝑝 ∧ 𝑝𝑝) 𝑝𝑝 (𝑝𝑝 ∨ ~ p) 𝑇𝑇 Ley del tercero excluído

(𝑝𝑝 ∨ 𝑝𝑝) 𝑝𝑝 (𝑝𝑝 ∧ ~ p) F Ley de contradicción
Conmutatividad ~T F
~T T
(𝑝𝑝 ∧ 𝑞𝑞) ( 𝑞𝑞 ∧ 𝑝𝑝) ~(~ p) P Ley de involución o de doble negación
(𝑝𝑝 ∨ 𝑞𝑞) (𝑞𝑞 ∨ 𝑝𝑝)
(𝑝𝑝 ⊻ 𝑞𝑞) (𝑞𝑞 ⊻ 𝑝𝑝) Leyes de absorción
(𝑝𝑝 ↔ 𝑞𝑞) (𝑞𝑞 ↔ 𝑝𝑝)
[p ∧ (𝑝𝑝 ∨ 𝑞𝑞)] 𝑝𝑝
(𝑝𝑝 ↓ 𝑞𝑞) (𝑞𝑞 ↓ 𝑝𝑝)
[p ∨ (𝑝𝑝 ∧ 𝑞𝑞)] 𝑝𝑝
(𝑝𝑝 ↑ 𝑞𝑞) (𝑞𝑞 ↑ 𝑝𝑝)
Asociatividad
[(𝑝𝑝 ∧ 𝑞𝑞) ∧ 𝑟𝑟] [𝑝𝑝 ∧ (𝑞𝑞 ∧ 𝑟𝑟) ]
[(𝑝𝑝 ∨ 𝑞𝑞) ∨ 𝑟𝑟] [𝑝𝑝 ∨ (𝑞𝑞 ∨ 𝑟𝑟) ]
[(𝑝𝑝 ↔ 𝑞𝑞) ↔ 𝑟𝑟] [𝑝𝑝 ↔ (𝑞𝑞 ↔ 𝑟𝑟) ]
[(𝑝𝑝 ⊻ 𝑞𝑞) ⊻ 𝑟𝑟] [𝑝𝑝 ⊻ (𝑞𝑞 ⊻ 𝑟𝑟) ]

Distributividad
[𝑝𝑝 ∧ (p ∨ r) ] [(𝑝𝑝 ∧ 𝑞𝑞) ∨ (𝑝𝑝 ∧ 𝑟𝑟)]
[𝑝𝑝 ∨ (p ∧ r) ] [(𝑝𝑝 ∨ 𝑞𝑞) ∧ (𝑝𝑝 ∨ 𝑟𝑟)]
[𝑝𝑝 → (𝑞𝑞 ∧ 𝑟𝑟) ] [(𝑝𝑝 → 𝑞𝑞) ∧ (𝑝𝑝 → r)]
[𝑝𝑝 → (𝑞𝑞 ∨ 𝑟𝑟) ] [(𝑝𝑝 → 𝑞𝑞) ∨ (𝑝𝑝 → 𝑟𝑟)]
[𝑝𝑝 → (𝑞𝑞 ↔ 𝑟𝑟) ] [(𝑝𝑝 → 𝑞𝑞) ↔ (𝑝𝑝 → 𝑟𝑟)]
Leyes de la condicional (Implicación material)
(𝑝𝑝 → 𝑞𝑞) (~ 𝑝𝑝 ∨ 𝑞𝑞) Definición de la implicación material
(𝑝𝑝 → 𝑞𝑞) ( 𝑝𝑝 ↑ ~ 𝑞𝑞) Reducción de la implicación material
(𝑝𝑝 → 𝑞𝑞) (~𝑞𝑞 → ~ p) Ley de transposición
[𝑝𝑝 → (𝑞𝑞 → 𝑟𝑟) ] [𝑞𝑞 → (𝑝𝑝 → 𝑟𝑟)] Ley de conmutación simple
[(𝑝𝑝 ∧ 𝑞𝑞) → 𝑟𝑟] [𝑝𝑝 → (𝑞𝑞 → 𝑟𝑟)] 1a ley de exportación
[(𝑝𝑝 ∧ 𝑞𝑞) → 𝑟𝑟] [𝑞𝑞 → (𝑝𝑝 → 𝑟𝑟)] 2a ley de exportación
Leyes de la bicondicional (Equivalencia material)
(𝑝𝑝 ↔ 𝑞𝑞) [(𝑝𝑝 ∧ 𝑞𝑞) ∨ (~ 𝑝𝑝 ∧ ~ 𝑞𝑞 ) ]
(𝑝𝑝 ↔ 𝑞𝑞) [(𝑝𝑝 → 𝑞𝑞) ∧ (𝑞𝑞 → 𝑝𝑝) ]
(𝑝𝑝 ↔ 𝑞𝑞) (~ 𝑝𝑝 ↔ ~ 𝑞𝑞) Inversión de la bicondicional
(𝑝𝑝 ↔ 𝑞𝑞) (~ 𝑞𝑞 ↔ ~ 𝑝𝑝) Transposición de la bicondicional
Negación de las operaciones binarias
~ (𝑝𝑝 ∧ 𝑞𝑞) (~ 𝑝𝑝 ∨ ~ 𝑞𝑞)
𝐿𝐿𝐿𝐿𝐿𝐿𝐿𝐿𝐿𝐿 𝑑𝑑𝐿𝐿 𝐷𝐷𝐿𝐿 𝑀𝑀𝑀𝑀𝑟𝑟𝑀𝑀𝑀𝑀𝑀𝑀
~ (𝑝𝑝 ∨ 𝑞𝑞) (~ 𝑝𝑝 ∧ ~ 𝑞𝑞)
~ (𝑝𝑝 → 𝑞𝑞) (𝑝𝑝 ∧ ~ 𝑞𝑞)
~ (𝑝𝑝 ↔ 𝑞𝑞) (𝑝𝑝 ⊻ 𝑞𝑞) (~ 𝑝𝑝 ↔ 𝑞𝑞) (𝑝𝑝 ↔ ~ 𝑞𝑞) (𝑝𝑝 ∧ ~ 𝑞𝑞) ∨ (~ 𝑝𝑝 ∧ 𝑞𝑞)
~ (𝑝𝑝 ↓ 𝑞𝑞) (𝑝𝑝 ∨ 𝑞𝑞)
~ (𝑝𝑝 ↑ 𝑞𝑞) (𝑝𝑝 ∧ 𝑞𝑞)
~ (𝑝𝑝 ⊻ 𝑞𝑞) (𝑝𝑝 ↔ 𝑞𝑞)
Leyes de Identidad
(𝑝𝑝 ∧ T) 𝑃𝑃 (T es elemento neutro para ∧)
(𝑝𝑝 ∧ F) F (F es elemento absorbente para ∧)
(𝑝𝑝 ∨ T) T (T es elemento absorbente para ∨)
(𝑝𝑝 ∨ F) 𝑃𝑃 (F es elemento neutro para ∨)
Reglas de inferencia.
10. Ley de simplificación disyuntiva (LSD).

1. Modus ponendo ponens (MP). p p

p q p
p
q
11. Ley del silogismo disyuntivo (SD).

2. Modus tollendo tollens (MT). p q

pq pr
q qs
rs
p
12. Leyes conmutativas (LC).
3. Modus tollendo ponens (MTP).
a. b.
p q p q pq p q
q o p q p q p
p q
13. Leyes de las proposiciones bicondicionales (LB).
4. Doble negación (DN).
a. b.
p pq pq
( p)
o pq q p
( p) p
c. d. pq
5. Regla de simplificación (S). pq q p
pq ( p  q )  ( q  p) pq
pq
p o
q 14. Regla de dilema destructivo (DD).

6. Regla de adjunción (A). r s

pr
p qs
q
p q
pq
7. Ley del silogismo hipotético (SH). 15. Regla de absorción (RA).
pq
pq
qr p  ( p  q)

pr 16. Implicación material (IM).

pq
8. Ley de adición (LA). o p q
p q
pq
p
p q
17. Regla de premisas (P).
9. Leyes de De Morgan (LD).
a. ( p  q) b. Esta regla permite introducir una nueva
( p  q)
p premisa, siendo ésta proposición simple o
q p q
compuesta en cualquier punto de la
c. p deducción, siempre que sea necesario.
p q d. q

( p  q) ( p  q)
Leyes de la lógica de predicados. 6.4. Generalización existencial (G.E.)
1. Leyes de intercambio de cuantificadores (I.C.) P a
, para algún concreto a
1.1. (x, P  x  x : P  x  x : P  x 
1.2. (x : P  x  x, P  x
1.3. x, P  x    x) : P  x 6.5. Conversión de cuantificadores (C.C.)

1.4. x : P  x  x, P  x x, P  x 

,  x : P  x 
1.5. x, y, P x, y   x : y : P x, y   x : P x  x, P  x 

1.6.  x, y, P x, y   x, y, P x, y  7. Ley de subalternación (LS6)
1.7. x, y, P  x, y    x : y : P x, y  
x, P  x   x : P  x 
1.8. x : y : P  x, y    x, y, P x, y  

2. Distributividad de los cuantificadores (Dt C) 8. Regla de identidad (I)

ab a  bc
2.1. x, P  x  Q  x  x, P  x  x, Q  x 
bc bd
2.2. x : P  x  Q  x   x : P  x    x : Q  x  ac a  dc
2.3.  x, P  x  x, Q  x  x, P  x  Q  x 
2.4. x : P  x  Q  x   x : P  x    x : Q  x  Universal afirmativa  x, S x   P  x 
3. Conmutatividad de cuantificadores (C.C). Universal negativa  x, S x   P  x 
3.1. x, y, P  x, y   y, x, P x, y  Particular o existencial afirmativa  x :  S  x   P  x 
3.2. x : y : P x, y   y : x : P x, y  Particular o existencial negativa  x : S x   P  x   
3.3. x : y, P  x, y   y, x : P  x, y 
3.4. y : x, P  x, y   x, y : P  x, y 
4. Leyes de oposición aristotélica (OA)
a) x, P  x  Q  x   x : P  x  
 Q  x 

b) x, P  x  
Qx  x : P  x   Q  x 
 
c) x : P  x   Q  x   
x, P  x   Q  x  
  
d) x : P  x    
Q  x   x, P  x   Q  x  
 
5. Leyes del silogismo categórico (SC)
x, P  x   Q  x   x,  Q  x   R  x   x, P  x   R  x 
 
6. Reglas de inferencia de la lógica de predicados
6.1. Especificación universal (E.U.)
x, P  x 
, para todo a genérico
F a 

6.2. Generalización universal (G.U.)

P a
, para todo a genérico
x, P  x 

6.3. Especificación existencial (E.E.)

x : P  x 
, para un a apropiado
F a