Portada del sitio > Lógica y Estructuras Discretas > 1 - Lógica de proposiciones y predicados de primer orden > Conjunto tres fórmulas insatisfacibles

Conjunto tres fórmulas insatisfacibles

\{p\wedge q, \neg p\vee r, \neg r\} es un conjunto insatisfacible. Deduzca las correctas:

- a) \neg p\vee r, \neg r \models  p\wedge q
- b) p\wedge q, \neg p\vee r \models r
- c) p\wedge q,\neg p\vee r\models\neg r
- d) \neg p\vee r,\neg r\models\neg (p\wedge q)

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

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