Vous êtes sur la page 1sur 2

Reglas de inferencia

Reglas del clculo proposicional

Modus Ponens Modus Tollens Silogismo Disyuntivo Silogismo Hipottico




Adicin Conjuncin Simplificacin

Reglas que introducen y descargan supuestos

Razonamiento por Casos Condicionalizacin


Supuesto Cond.
Supuesto RC

(descarga del supuesto)
Supuesto RC


(descarga de los supuestos)

Equivalencias:

Definiciones del condicional Definicin del bicondicional


( ) ( )
( )

Asociatividad Distributividad
( ) ( ) ( ) ( ) ( )
( ) ( ) ( ) ( ) ( )

Conmutatividad Tautologas

Doble negacin Importacin/exportacin


( ) ( )

Leyes de De Morgan Contraposicin


( )
( )
Reglas de introduccin y eliminacin de cuantificadores:

Ejemplificacin Universal (EU) Generalizacin Universal (GU)

x x a
a x x

Donde a es una constante cualquiera a eleccin Restricciones:


1. a no puede ocurrir en las premisas
2. a no puede ocurrir en supuestos previos no
cancelados

Ejemplificacin Existencial (EE) Generalizacin Existencial (GE)

x x a
a Supuesto de EE x x

Restriccin:
(descarga del supuesto) x no puede ocurrir en a

Restricciones:
1. a no puede ocurrir en ni en
2. a no puede ocurrir en las premisas
3. a no puede ocurrir en supuestos previos no
cancelados

Equivalencias de cuantificadores:

Intercambio Cuantificacional (IC)

x x x x
x x x x
x x x x
x x x x