Portada del sitio > Lógica y Estructuras Discretas > 1 - Lógica de proposiciones y predicados de primer orden > Deducción fórmula de otra

Deducción fórmula de otra

Siendo las fórmulas:
Y_1: (p\wedge q)\vee (\neg r\wedge s)
Y_2: (p\wedge r)\vee (\neg q\wedge s)
Y_3: (p\wedge s)
Y_4: (p\wedge q\wedge\neg r\wedge\neg s)

Completa la frase siguiente con uno de los cuatro apartados entre paréntesis separados por comas:
Y_1 es consecuencia de .....................

\left( Y_2 \ , \ Y_1 \ , \ \neg Y_4  \ o \ Y_3\right)

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

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