Portada del sitio > Lógica y Estructuras Discretas > Lógica > Fórmulas consecuencia de conjunto

Fórmulas consecuencia de conjunto

Lunes 3 de diciembre de 2012, por Francisco Ramos

Suponga que es verdad X, Y, Z \models C (es decir, que C es consecuencia del conjunto de fórmulas \{X,Y,Z\}). Supongamos además que las fórmulas X, Y y Z, proposicionales, coinciden en ser verdad en 10 interpretaciones. Indique las afirmaciones correctas:
a) C es verdadera en esas 10 interpretaciones y es necesariamente falsa en cualquier otra interpretación
b) C es verdadera al menos en esas 10 interpretaciones, quizá en más
c) C es verdadera a lo sumo en esas 10 interpretaciones, pudiendo ser falsa en alguna de esas 10
d) si C es una tautología, no puede ser consecuencia de ese conjunto de fórmulas

SOLUCIÓN

Es cierta solamente la afirmación b)

Comentar este artículo

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