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