Portada del sitio > Lógica y Estructuras Discretas > Lógica > Añadir fórmula conjunto

Añadir fórmula conjunto

Lunes 3 de diciembre de 2012, por Francisco Ramos

Sean X, Y, Z abreviaturas de fórmulas. Se nos garantiza que el conjunto \{X,Y,Z\} es insatisfacible. Determine la veracidad o falsedad de las afirmaciones siguientes:
a) Si añado una fórmula cualquiera W, el conjunto resultante puede ser satisfacible
b) Si añado una tautología, el conjunto resultante puede ser satisfacible
c) La fórmula X\wedge Y\wedge Z es insatisfacible
d) Si elimino una fórmula de ese conjunto, el conjunto resultante podría ser satisfacible

SOLUCIÓN

Son ciertas las dos últimas y falsas las otras

Comentar este artículo

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