Portada del sitio > Lógica y Estructuras Discretas > 1 - Lógica de proposiciones y predicados de primer orden > Conjunto de fórmulas satisfactibl/insatisfactible
Conjunto de fórmulas satisfactibl/insatisfactible
Considere el siguiente conjunto de fórmulas 
. 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
YouTube Twitter
Mi cuenta