Reglas de Inferencia

La lgica proposicional trata con sistemas lgicos que carecen de cuantificadores, o

variables interpretables como entidades. En lgica proposicional si bien no hay signos
para variables de tipo entidad, s existen signos para variables proposicionales (es decir,
que pueden ser interpretadas como proposiciones con un valor de verdad de definido), de
ah el nombre proposicional. La lgica proposicional incluye adems de variables
interpretables como proposiciones simples signos para conectivas lgicas, por lo que
dentro de este tipo de lgica puede analizarse la inferencia lgica de proposiciones a partir
de proposiciones, pero sin tener en cuenta la estructura interna de las proposiciones ms
simples.

Reglas de Inferencia Proposicional

Formas de Argumentos Bsicas y Derivadas

Nombre

Consecuente

Descripcin

Modus Ponens

Si

entonces

Modus Tollens

Si

entonces

; no

; por lo tanto no

Silogismo Hipottico

Si

entonces

; si

entonces

si

entonces

Silogismo Disyuntivo

Either

Dilema Constructivo

Si

, o both; no

entonces

por lo tanto

Dilema Destructivo

Dilema Bidireccional

Si

entonces

; por lo tanto,

; por lo tanto,

; y si

entonces ; pero

; y si

entonces ; pero no
o no

Si

entonces ; but

entonces

no ; por lo tanto no

por lo tanto

Simplificacin

; por lo tanto

; y si
o no

son verdaderos; por lo tanto

es

o no ;

verdadero

Conjuncin

son verdaderos separadamente; entonces

son verdaderos conjuntamente.

Adicin

es verdadero; por lo tanto la disyuncin (

) es verdadera

Composicin

Teorema de De

Si

entonces

; y si

entonces

si

es verdadero entonces

; por lo tanto
son verdaderos

La negacin de (

) es equiv. a (no

o no

La negacin de (

) es equiv. a (no

y no

Morgan (1)

Teorema de De
Morgan (2)

Conmutacin (1)

) es equiv. a (

Conmutacin (2)

) es equiv. a (

Conmutacin (3)

es equiv. a

) es equiv. a (

es equiv. a

Asociacin (1)

o(

) es equiv. a (

)o

Asociacin (2)

y(

) es equiv. a (

)y

Distribucin (1)

y(

) es equiv. a (

)o(

Distribucin (2)

o(

) es equiv. a (

)y(

Doble Negacin

es equivalente a la negacin de no

Transposicin

Si

entonces

es equiv. a si no

entonces no

Implicacin material

Si

Equivalencia material

(1)

Equivalencia material

entonces

es equiv. a no

si y solo si

) es equiv. a (si

es verdadero

entonces

es verdadero) y (si

es verdadero

entonces

es verdadero)

(2)

si
y

) es equiv. a cualquiera de los dos (

son verdaderos) o (tanto

como

son

como no

son

falsos)

Equivalencia material

si

) es equiv to., tanto (

(3)

verdaderos) y (no

Exportacin3

desde (si

es verdadero)

son verdaderos, entonces

verdadero) se puede probar que (si

verdadero entonces

es

es

es verdadero, si

es

verdadero)

Importacin

Tautologa (1)

Si

entonces (si

si

entonces

) es equivalente a

entonces

es verdadero es equiv. a

es verdadero o

es

es verdadero y

es

verdadero

Tautologa (2)

es verdadero es equiv. a
verdadero

Tertium non

o no

es verdadero

y no

es falso, es un testamento verdadero

datur (Ley de Tercero

Excluido)

Principio de no
contradiccin