SATISFACIBILIDAD
Una formula proposicional A es satisfacible si su valor es verdadero en alguna interpretación.
Una interpretación satisfecha es llamada un modelo para A.
VALIDEZ
Una formula A es válida si su valor es verdadero en toda interpretación.
INSATISFACIBILIDAD
Una formula proposicional es insatisfacible o contradictoria si no es satisfacible, es decir,
si su valor es falso en toda interpretación. Una formula proposicional es no-valida o falseable si no es válida, esto es, si su valor es falso en alguna interpretación.
La relación existente entre estos conceptos se muestra en la siguiente figura. Si el área del
rectángulo representa todas las formulas, la parte exterior del circulo mas grande representa
las formulas insatisfacibles, el área del circulo mas grande representa aquellas formulas satisfacibles
y el área del circulo interno representa aquellas formulas satisfacibles no exactamente
en una interpretación, son en todas, esto es las formulas validas.
Las formulas no validas incluye formulas insatisfacibles así como aquellas que son verdad
en alguna interpretación pero no en otras representadas por el anillo externo del circulo
interior.
BIBLIOGRAFIA
FUNDAMENTOS DE LA LÓGICA MATEMÁTICA
PAG 47
No hay comentarios:
Publicar un comentario