Portada del sitio > Lógica y Estructuras Discretas > 1 - Lógica de proposiciones y predicados de primer orden > Añadir fórmula a un conjunto de fórmulas
Añadir fórmula a un conjunto de fórmulas
Sean 
abreviaturas de fórmulas. Se nos garantiza que el conjunto 
es insatisfacible. Determine la veracidad o falsedad de las afirmaciones siguientes:
a) Si añado una fórmula cualquiera 
, el conjunto resultante puede ser satisfacible
b) Si añado una tautología, el conjunto resultante puede ser satisfacible
c) La fórmula 
es insatisfacible
d) Si elimino una fórmula de ese conjunto, el conjunto resultante podría ser satisfacible
YouTube Twitter
Mi cuenta