Patrick J. Hurley (2012). A Concise Introduction to Logic. 11.a ed.

Wadsworth, Cengage
Learning.

Reglas de inferencia
1. Modus ponens (MP) 5. Constructive dilemma (CD)

( ) ( )




2. Modus tollens (MT)
6. Simplification (Simp)

3. Hypothetical syllogism (HS)

7. Conjunction (Conj)




4. Disjunctive syllogism (DS)
8. Addition (Add)

Equivalencias lgicas
9. De Morgans rule (DM) 14. Transposicin (Trans.)
( ) ( ) ( ) ( )
( ) ( )
15. Material implication (Impl)
10. Commutativity (Com)
( ) ( )
( ) ( )
( ) ( ) 16. Material equivalence (Equiv)
11. Associativity (Assoc) ( ) [( ) ( )]
[( ( )] [( ) ] ( ) [( ) ( )]
[( ( )] [( ) ]
17. Exportation (Exp)
12. Distribution (Dist)
[( ) ] [ ( )]
[ ( )] [( ) ( )]
[ ( )] [( ) ( )] 18. Tautology (Taut)
13. Double negation (DN) ( )
( )

1
Regla de demostracin condicional e indirecta
ACP AIP

(contradiccin)
CP IP

Reglas de inferencia para instanciar y generalizar cuantificadores

Convenciones
Constantes individuales: , , , ,
Atributos (predicados): Letras maysculas
Variables individuales: , y
y : Denotan funciones proposicionales
: Denota una proposicin
Instanciacin universal (UI)
() ()

Generalizacin existencial (EG)

() ()
Instanciacin existencial (EI)
()

Restriccin: El individuo debe ser un individuo nuevo que no aparece en ningn rengln anterior (incluyendo el
rengln de la conclusin).
Generalizacin universal (UG)

()
Restriccin: UG no debe ser usada dentro del alcance de un supuesto si la variable est libre en la lnea donde se
introdujo el supuesto.
Restriccin: UG no debe ser usada si la variable est libre en cualquier lnea precedente obtenida por EI.

Regla de inferencias: Cambio de cuantificador

() () (CQ)
() () (CQ)
() () (CQ)
() () (CQ)

Regla de inferencias: Identidad

= (Id1) = = (Id2) = (Id3)