Resolucion de predicados

¿Que es la resolución de predicados?

-Diseñada por J.A Robinson en 1965, significa que si un conjunto es insatisfactible, este algoritmo lo detecta y lo para. Si es satisfactible, podria detectarlo o no parar. EL algoritmo se basa en una inferencia sencilla

¿Cómo funciona?

-Resolución Proposicional:  Se cumple P o Q y la negacion P o R entonces se cumple Q o R.

Ejemplo: si se tiene un "Gana, empata o pierde" y "Si gana da una fiesta o va de viaje".  Se puede deducir que "O pierde o empata o da una fiesta o va de viaje".

Formalización:

P1: G v P v E
P2: G->F v V  es equivalente a ¬G v F v V

La regla de resolución inferirá: Dadas dos clausulas, C1 y C2 tales que exista un literal L de forma que L no pertenezca a C1 y ¬L  pertenezca a C2,  se denomina resolvente de C1 y C2 respecto a L.


Consistencia de la regla de resolución: el resolvente de los clausulas es consecuencia lógica de ellas. Es decir {C1,C2}=>R(C1,C2)

Resolución General:

Es una generalización de la resolución proposicional, el cual incluye un paso previo de unificación de clausulas mediante sustituciones.

Sustitución: 

Método para modificar formulas y su proposito para con la unificación en un conjunto de expresiones, y este resulten sintácticamente identicas.






Bibliografia:

http://di002.edv.uniovi.es/~labra/FTP/LPRED.pdf

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

Programas para solución de problemas de tablas de verdad

Anallogica: 

Herramienta bastante eficaz a la hora de crear tablas de verdad,  la cual nos dejara usar hasta 15 variables, y esta nos dejará hacer  equivalencias y negaciones, perfecta para guardar nuestros trabajos en formato HTML y podemos guardar nuestro archivo y seguir trabajando despues.

GKmap 0.2 :
Es un programa para solucionar problemas del diseño y analisis de flujo de circuitos digitales.



Multisim:

Esta herramienta en su apartado convertidor logico, puede crear tablas de verdad desde un circuito digital




Logical Formula Evaluator:
Edito de sentencias logicas proposicionales