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

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)

8) Dilema constructivo (DC)

9) Dilema destructivo (DD)