Portada del sitio > Lógica y Estructuras Discretas > 1 - Lógica de proposiciones y predicados de primer orden > Equivalencia de fórmulas lógicas

Equivalencia de fórmulas lógicas

Suponga que X\equiv Y. Marque todas las opciones correctas:

- a) (X\wedge Y) es necesariamente una tautología
- b) X\models Y (Y es consecuencia de X)
- c) Y\models X (X es consecuencia de Y)
- d) \neg(X\leftrightarrow Y) es un fórmula insatisfacible

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

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