Método Analogico

Método Analógico 

INTRODUCCIÓN

La lógica proposicional estudia las proposiciones u oraciones por medio de métodos de razonamiento. Uno de ellos es el Método Analógico, del cual hablaremos a continuación.

El método analógico se da por medio de analogías y esta compara dos inferencias similares. Si se sabe una conclusión de una inferencia, esta será igual para la otra. El sistema se resuelve mediante las leyes de la lógica proposicional, no sin antes de formalizar el sistema escribiéndolo en lenguaje lógico.

Leyes de la lógica proposicional:

Estas siempre son verdaderas aun si sus variables -las cuales se obtienen al formalizar la proposición lógica- son falsas. Son expresiones formales que siempre buscan una tautologia. El requisito que se debe tener en caso de que una inferencia sea valida es que tiene que tiene forma de ley lógica, aunque algunas veces se puede ver que la inferencia es valida pero al formalizar esta no cumple con dicho requisito, a estas se les llama inferencia no valida.

Tres principios fundamentales básicos:

1. Identidad: permite hacer equivalencia entre dos proposiciones que  sostienen un mismo argumento.
2. No-contradicción: es imposible que una proposiciones sea verdadera y falsa al mismo tiempo.
3. Tercio Excluido: una proposición es verdadera o falsa y no un caso intermedio.

Leyes de inferencia:

1. Modus Ponens: el condicional o implicación establece una causa-efecto. Hacer referencia a que si tenemos el antecedente y este se afirma, tenemos un consecuente.

Ejemplo: Si llueve, entonces las calles se mojan

   P : llueve. 

  Q : las calles se mojan. 

  

2. Modus Tollens: es el inverso a las condicionales, si tenemos una premisa donde el consecuente es negación, se obtiene la negación del antecedente.

3. Silogismo Hipotético: si tenemos dos formulas condicionales, donde el consecuente de la primera es el antecedente de la segunda, obtenemos otra condicional,formada por  el antecedente de la primera y el consecuente de la segunda

4. Silogismo Disyuntivo: desde de una formula disyuntiva y la negacion de una de sus componentes

5. Dilema constructivo: Desde dos inferencias condicionales y la disyuncione de sus negaciones de sus antecedentes, se obtiene la disyuncion de sus consecuentes.

6. Dilema Destructivo: desde dos formulas y la disyunción de sus negaciones de sus consecuentes se obtiene la disyunción de sus antecedentes.

7. Simplificación: desde la conjuncion de dos formulas se obtiene una de ellas.

8. Conjuncion: Desde dos formulas se obtiene la conjuncion de ambas

9. Adición: desde una formula se obtiene la disyuncion de la misma con otra

Bibliografia:

• http://razonamientologico12unefa.blogspot.com.co/2008/06/leyes-de-la-lgica-proposicional-y_16.html
• http://logicaeslost07.blogspot.com.co/2017/03/metodo-analogico-07032017.html