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