inferencia logica

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 unresultado 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 laspremisas, 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 omas 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 dinferencia a todo argumento universalmente correcto ( o formas correctas de razonamiento) que representan métodos generales de razonamiento valido.
Las siguientes sonformas correctas de razonamiento:
1) MODUS PONENDO PONENS (PP): es un método (mudus) , afirma (ponens) es consecuente, afirmativo (ponendo) el antecedente de laimplicació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) MUDUSTOLLENDO 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 silogismohipoté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)