Este documento trata sobre la inferencia lógica. Explica que la inferencia lógica es un razonamiento donde a partir de un conjunto de proposiciones llamadas premisas se obtiene una conclusión. Un razonamiento es válido si las premisas implican la conclusión. También define reglas de inferencia como formas correctas de razonamiento válido, e identifica nueve reglas como modus ponens, modus tollens, leyes de silogismo hipotético, simplificación, conjunción, adición, y dilemas constructivo y destructivo

1. INFERENCIA LOGICA
Se debe entender por inferencia lógica a un razonamiento el que a partir de un conjunto de
proposiciones llamados premisas se obtiene un resultado llamado conclusión. Un razonamiento es
válido si, y solamente si, la conjunción de las premisas implica la conclusión, o la conclusión es
consecuencia de las premisas, es decir, si las premisas todas son verdaderas, entonces las conclusiones
que se derivan de ellas logarítmicamente han de ser verdaderas. Sin embargo, si una o mas de las
premisas es falsa, la conjunción de toda las premisas es falsa; por tanto, la conclusión puede ser
verdadera o falsa.
Cundo Q es consecuencia ( conclusión )de las premisas P1, P2,……,Pn, se escribe.
Esto significa la siguiente implicación es una tautología
REGLAS DE INFERENCUIA
Se llama reglas d inferencia a todo argumento universalmente correcto ( o formas correctas de
razonamiento) que representan métodos generales de razonamiento valido.
Las siguientes son formas correctas de razonamiento:
1) MODUS PONENDO PONENS (PP): es un método (mudus) , afirma (ponens) es consecuente,
afirmativo (ponendo) el antecedente de la implicación
2) MUDUS TOLLENDO TOLLENS (TT): es el metodo ( modus), que negado (tollendo) el
consecuente, se puede negar (tollens) el antecedente de implicación

2. 3) MUDUS TOLLENDO PONENS (TP): Es el método (mudus ) que negado (tollendo)es un miembro
de una disyunción se afirma (ponens) es el otro miembro.
4) Ley de silogismo hipotético (SH)
5) Ley de simplificación (LS)
6) Ley de conjunción (LC)
7) Ley de adición (LA)

3. 8) Dilema constructivo (DC)
9) Dilema destructivo (DD)