Portada del sitio > Lógica y Estructuras Discretas > Lógica > Conjunto fórmulas satisfacibles o insatisfacibles

Conjunto fórmulas satisfacibles o insatisfacibles

Lunes 3 de diciembre de 2012, por Francisco Ramos

Considere el siguiente conjunto de fórmulas \{r\vee s\vee t, \neg r\wedge\neg t, s\vee q\}. Se interpretaría conjuntamente sobre una tabla de verdad con 16 interpretaciones posibles. ¿Cuáles de las afirmacioes siguientes son ciertas o falsas?
a) Es un conjunto de fórmulas satisfacible
b) Es un conjunto de fórmulas insatisfacible
c) Si elimino una fórmula cualquiera, el conjunto resultante es satisfacible
d) Si añado una fórmula cualquiera más al conjunto, el conjunto resultante es necesariamente insatisfacible

SOLUCIÓN

Son ciertas las afirmaciones a) y c)

Comentar este artículo

SPIP | | Mapa del sitio | Seguir la vida del sitio RSS 2.0
Red Educativa Cibermatex