Texto: Irving M. Copi (1998). Lógica Simbólica. Compañía Editorial Continental.

Reglas de inferencia
1. Modus Ponens (MP) 5. Dilema Constructivo (DC)
𝑝⊃𝑞 (𝑝 ⊃ 𝑞) ∧ (𝑟 ⊃ 𝑠)
𝑝 /∴ 𝑞 𝑝∨𝑟 /∴ 𝑞 ∨ 𝑠
6. Dilema Destructivo (DD)
2. Modus Tollens (MT)
(𝑝 ⊃ 𝑞) ∧ (𝑟 ⊃ 𝑠)
𝑝⊃𝑞
∼𝑞 ∨ ∼𝑠 /∴ ∼𝑝 ∨ ∼𝑟
∼𝑞 /∴ ∼ 𝑝
7. Simplificación (Simp.)
3. Silogismo Hipotético (SH) 𝑝∧𝑞 /∴ 𝑝
𝑝⊃𝑞
8. Conjunción (Conj.)
𝑞⊃𝑟 /∴ 𝑝 ⊃ 𝑟
𝑝
4. Silogismo Disyuntivo (SD) 𝑞 /∴ 𝑝 ∧ 𝑞
𝑝∨𝑞 9. Adición (Ad.)
∼𝑝 /∴ 𝑞 𝑝 /∴ 𝑝 ∨ 𝑞

Equivalencias lógicas
10. Teoremas de De Morgan (De M.) 15. Transposición (Trans.)
∼(𝑝 ∧ 𝑞) ≡ (∼𝑝 ∨ ∼𝑞) (𝑝 ⊃ 𝑞) ≡ (∼𝑞 ⊃ ∼𝑝)
∼(𝑝 ∨ 𝑞) ≡ (∼𝑝 ∧ ∼𝑞)
16. Implicación Material (Impl.)
11. Conmutación (Conm.)
(𝑝 ⊃ 𝑞) ≡ (∼𝑝 ∨ 𝑞)
(𝑝 ∨ 𝑞) ≡ (𝑞 ∨ 𝑝)
(𝑝 ∧ 𝑞) ≡ (𝑞 ∧ 𝑝) 17. Equivalencia Material (Equiv.)
12. Asociación (Asoc.) (𝑝 ≡ 𝑞) ≡ ((𝑝 ⊃ 𝑞) ∧ (𝑞 ⊃ 𝑝))
((𝑝 ∨ (𝑞 ∨ 𝑟)) ≡ ((𝑝 ∨ 𝑞) ∨ 𝑟) (𝑝 ≡ 𝑞) ≡ ((𝑝 ∧ 𝑞) ∨ (∼𝑝 ∧ ∼𝑞))
((𝑝 ∧ (𝑞 ∧ 𝑟)) ≡ ((𝑝 ∧ 𝑞) ∧ 𝑟)
18. Exportación (Exp.)
13. Distribución (Dist.)
((𝑝 ∧ 𝑞) ⊃ 𝑟) ≡ (𝑝 ⊃ (𝑞 ⊃ 𝑟))
(𝑝 ∧ (𝑞 ∨ 𝑟)) ≡ ((𝑝 ∧ 𝑞) ∨ (𝑝 ∧ 𝑟))
(𝑝 ∨ (𝑞 ∧ 𝑟)) ≡ ((𝑝 ∨ 𝑞) ∧ (𝑝 ∨ 𝑟)) 19. Tautología (Taut.)
14. Doble Negación (DN) 𝑝 ≡ (𝑝 ∨ 𝑝)
𝑝 ≡ ∼∼𝑝 𝑝 ≡ (𝑝 ∧ 𝑝)

Reglas de demostración
Regla de Demostración Condicional (RDC)
Regla de Demostración Indirecta (RDI)

1
Convenciones para el uso de las reglas de inferencia con cuantificadores
Constantes individuales: 𝑎, …, 𝑡
Atributos (predicados): Letras mayúsculas
Variables individuales: 𝑢, 𝑣, 𝑤, 𝑥, 𝑦 y 𝑧
𝜇 (mu): Denota cualquier variable
𝜈 (nu): Denota cualquier variable o constante
Φ𝜇: Denota cualquier función proposicional o proposición
Φ𝜈: Denota el resultado de reemplazar toda ocurrencia libre de 𝜇 en Φ𝜇 por 𝜈, a condición de que si 𝜈 es
una variable debe ocurrir libre en Φ𝜈 en todos los sitios en que 𝜇 ocurra libre en Φ𝜇. (Si Φ𝜇 no contiene
ocurrencia libre de 𝜇, entonces Φ𝜇 y Φ𝜈 son idénticas. 𝜈 y 𝜇 pueden, desde luego, ser la misma variable: si lo
son, también son idénticas Φ𝜈 y Φ𝜇.)

Reglas de inferencia con cuantificadores

Instanciación Universal

(∀𝜇)Φ𝜇
(IU)
∴ Φ𝜈
Generalización Existencial

Φ𝜈 (GE)
∴ (∃𝜇)Φ𝜇

Instanciación Existencial (IE)

(∃𝜇)Φ𝜇
Φ𝜈
con la condición que 𝜈 sea una variable sin ocurrencias
⋮ libres ni en 𝑝 ni en cualquier renglón anterior a Φ𝜈.
𝑝
∴𝑝

Generalización Universal
con la condición que 𝜈 sea una variable que no ocurre libre
Φ𝜈 (GU) en (∀𝜇)Φ𝜇 o en cualquier supuesto dentro de cuyo alcance
∴ (∀𝜇)Φ𝜇 esté Φ𝜈.
Negación de cuantificadores

(∀𝜇)Φ𝜇 ≡ ∼(∃𝜇)∼Φ𝜇 (NC1)

∼(∀𝜇)Φ𝜇 ≡ (∃𝜇)∼Φ𝜇 (NC2)
(∀𝜇)∼Φ𝜇 ≡ ∼(∃𝜇)Φ𝜇 (NC3)
∼(∀𝜇)∼Φ𝜇 ≡ (∃𝜇)Φ𝜇 (NC4)

Principio de identidad
Nota: Las letras 𝜇 y 𝜈 representan cualquier constante individual o variable.

Φ𝜇 Φ𝜇
𝜈=𝜇 𝑝
𝜈=𝜇
(Id1)
∼Φ𝜈 (Id2) ∴ 𝜇 = 𝜈 (Id3) ∴ 𝜇 = 𝜇 (Id4)
∴ Φ𝜈 ∴ ∼(𝜈 = 𝜇)