Portada del sitio > Lógica y Estructuras Discretas > EXÁMENES RESUELTOS > UNED - Septiembre 2012 - Modelo A > Ejercicio 4 UNED Septiembre 2012 Modelo A

Ejercicio 4 UNED Septiembre 2012 Modelo A

Sean las fórmulas de lógica proposicional cualesquiera \phi_1, \phi_2 y \Phi. Indica si alguna de las siguientes afirmaciones es cierta:
- \{ \phi_1, \phi_2\}\models\Phi si, y sólo si (\phi_1\wedge\phi_2)\rightarrow\neg\Phi es tautología
- \{ \phi_1, \phi_2\}\models\Phi si, y sólo si (\phi_1\wedge\phi_2)\rightarrow\Phi es tautología
- \{ \phi_1, \phi_2\}\models\Phi si, y sólo si (\phi_1\wedge\phi_2\wedge\Phi) es insatisfacible
recargar  recargar  Todos los Ejercicios del Tema  Índice de TEORÍA  

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