Portada del sitio > Lógica y Estructuras Discretas > 1 - Lógica de proposiciones y predicados de primer orden > Formulas consecuencia de conjunto

Formulas consecuencia de conjunto

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

recargar  recargar  Todos los Ejercicios del Tema  Índice de TEORÍA  

© 2007, 2019 CiberMatex | My CiberMatexMi cuenta | Condiciones Legales | Política de cookies