Portada del sitio > Lógica y Estructuras Discretas > Lógica > Cuantificadores y variables (triple universal, relaciones)

Cuantificadores y variables (triple universal, relaciones)

Miércoles 14 de noviembre de 2012, por Francisco Ramos

∀x ∀y ∀z (Rxy ∧ Ryz → Rxz) se interpreta sobre un universo U=\{1 ,2,3\}. Escoja las interpretaciones para R que satisfacen esa fórmula.

a) R=\{(1,1),(1,2),(1,3),(2,3)\}
b) R=\{(2,3),(3,1)\}
c) R=\{(1,3),(3,2)\}
d) R relación vacía (ningún elemento relacionado con otro)
e) R=\{(1,1),(1,2),(1,3),(2,1),(2,2),(2,3),(3,1),(3,2),(3,3)\}

SOLUCIÓN

Se verifica en los casos a), d) y e)

2 Mensajes

Comentar este artículo

SPIP | | Mapa del sitio | Seguir la vida del sitio RSS 2.0
Red Educativa Cibermatex