Reglas de inferencia

Volver al temario Seguir a Ejercicios resueltos de reglas de inferencia

Reglas de inferencia.

Introducción a las Reglas de Inferencia

En lógica proposicional, las reglas de inferencia son los principios que permiten deducir conclusiones válidas a partir de premisas dadas. Estas reglas son fundamentales para construir argumentos lógicos correctos y garantizar que las inferencias realizadas sean válidas. Las reglas de inferencia nos permiten proceder de una proposición a otra de forma sistemática, asegurando que las conclusiones que se derivan sean verdaderas si las premisas son verdaderas.

Existen diversas reglas que se aplican en distintos contextos, y cada una tiene una estructura específica que define cómo deben combinarse las proposiciones para llegar a una conclusión válida. A continuación, exploraremos algunas de las reglas de inferencia más comunes utilizadas en la lógica proposicional, las cuales forman la base de muchas técnicas deductivas en matemáticas, filosofía y otras disciplinas que utilizan el razonamiento lógico.

Regla 1: Modus Ponendo Ponens (MPP)

\[ (p \rightarrow q) \land p \Rightarrow q \]

Regla 2: Modus Tollendo Tollens (MTT)

\[ (p \rightarrow q) \land \neg q \Rightarrow \neg p \]

Regla 3: Silogismo Disyuntivo (SD) (Modus Tollendo Ponens (MTP))

\[ (p \vee q) \land \neg p \Rightarrow q \]

Regla 4: Ley de la conjunción

\[ p \land q \Rightarrow (p \land q) \]

Regla 5: Le de simplificación

\[ p \land q \Rightarrow p \]

Regla 6: Ley de adición

\[ p \Rightarrow p \vee q \]

Regla 7: Silogismo hipotético

\[ (p \rightarrow q) \land (q \rightarrow r) \Rightarrow (p \rightarrow r) \]

Regla 9: Ley de resolución

\[ (p \vee q) \land (\neg p \vee r) \Rightarrow q \vee r \]

Ir al principio