Portada del sitio > Lógica y Estructuras Discretas > 1 - Lógica de proposiciones y predicados de primer orden > Fórmula consecuencia de otras fórmulas

Fórmula consecuencia de otras fórmulas

La siguente consecuencia es correcta: r\vee s, r\rightarrow q, s\rightarrow t \models q\vee t. Entonces son ciertas:

- a) r\vee s, r\rightarrow q, s\rightarrow t, r\wedge t \models q\vee t
- b) r\vee s, r\rightarrow q \models q\vee t
- c) q\vee t \models r\vee s, r\rightarrow q, s\rightarrow t
- d) q\vee t\models q\vee t

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

YouTube   Twitter
Canal Youtube   Twitter

Matemáticas
Contactar
Novedades
Física | Química
Dudas Académicas
Recursos gratis
Mat. Universidad
© 2007, 2019 CiberMatex | My CiberMatexMi cuenta | Condiciones Legales | Política de cookies