Irving M. Copi (1998). Lgica Simblica.

Compaa Editorial Continental

Reglas de inferencia
1. Modus Ponens (MP)

/
2. Modus Tollens (MT)

/
3. Silogismo Hipottico (SH)

/
4. Silogismo Disyuntivo (SD)

/
5. Dilema Constructivo (DC)
( ) ( )
/
6. Dilema Destructivo (DD)
( ) ( )
/
7. Simplicacin (Simp.)
/
8. Conjuncin (Conj.)

/
9. Adicin (Ad.)
/
Equivalencias lgicas
10. Teoremas de De Morgan (De M.)
( ) ( )
( ) ( )
11. Conmutacin (Conm.)
( ) ( )
( ) ( )
12. Asociacin (Asoc.)
(( ( )) (( ) )
(( ( )) (( ) )
13. Distribucin (Dist.)
( ( )) (( ) ( ))
( ( )) (( ) ( ))
14. Doble Negacin (DN)

15. Transposicin (Trans.)
( ) ( )
16. Implicacin Material (Impl.)
( ) ( )
17. Equivalencia Material (Equiv.)
( ) (( ) ( ))
( ) (( ) ( ))
18. Exportacin (Exp.)
(( ) ) ( ( ))
19. Tautologa (Taut.)
( )
( )
Reglas de demostracin
Regla de Demostracin Condicional (RDC)
Regla de Demostracin Indirecta (RDI)
1
Convenciones para el uso de las reglas de inferencia con cuanticadores
Constantes individuales: , ,
Atributos (predicados): Letras maysculas
Variables individuales: , , , , y
(mu): Denota cualquier variable
(nu): Denota cualquier variable o constante
: Denota cualquier funcin proposicional o proposicin
: Denota el resultado de reemplazar toda ocurrencia libre de en por , a condicin 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 idnticas. y pueden, desde luego, ser la misma variable: si lo son, tambin son idnticas
y .)
Reglas de inferencia con cuanticadores
Instanciacin Universal
()
(IU)

Generalizacin Existencial

(GE)
()
Instanciacin Existencial
()

}
}
}
}

}
}
}
}

(IE)
con la condicin que sea una variable sin ocurrencias libres
ni en ni en cualquier rengln anterior a .
Generalizacin Universal

(GU)
()
con la condicin que sea una variable que no ocurre libre
en () o en cualquier supuesto dentro de cuyo alcance
est .
Negacin de cuanticadores
() () (NC1)
() () (NC2)
() () (NC3)
() () (NC4)
Principio de identidad
Nota: Las letras y representan cualquier constante individual o variable.

=
(Id1)

(Id2)
( = )
=
(Id3)
=

(Id4)
=
2