TALLER PRÁCTICO

A) Satisfacibilidad:
Para los siguientes conjuntos de creencias, determinar su satisfacibilidad, consistencia y
concluir:
1. Γ= [(p∨q), ( s∧~p)], (q→s)
Aplicaciones el teorema de satisfacibilidad y consistencia:
Γ= [(p∨q)∧( s∧~p)]∧(q→s)

El conjunto de creencias es satisfacible y consistente para el caso 5

El conjunto de creencias no es satisfacible y consistente para todos los casos

El conjunto de creencias es satisfacible y consistente para el caso 3

B) FND: Forma Normal Disyuntiva

A partir de la teoría estudiada, realizar los siguientes ejercicios:
Hallar la satisfacibilidad del conjunto y el tipo de salida de la tabla (tautología, contradicción
o contingencia) y las FND.
4. Sea el Γ={p→(~q∧s),(s∨p)}
Γ={(p→(~q∧s))⋀(s∨p)}
El conjunto es satisfacible y consiste para los casos 3,5 y 7. Además es una contingencia.
La FND es (p⋀-q⋀s)v(-p⋀q⋀s)v(-p⋀-q⋀s)

5. Sea el conjunto Φ= {(p↔q), (~p v s)-->q}

Φ= {(p↔q)⋀((~p v s)-->q)}
El conjunto es satisfacible y consiste para los casos 1,2,3,4 y 6. Además es una
contingencia.
La FND es: (p⋀q⋀s)v(p⋀q⋀-s)
6. Sea el conjunto Φ= {~p v (q ^ r), (r→p)}
Φ= {(~p v (q ^ r))⋀(r →p)}
El conjunto es satisfacible y consiste para los casos 1,6,y 8. Además es una contingencia.
La FND es: (p⋀q⋀r)v(-p⋀q⋀-s)v(-p⋀-q⋀-r)