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

Cuantificadores y variables (doble universal, relaciones)

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

∀x ∀y (Rxy → ¬ Rxy ∧ Ryy) se interpreta sobre un universo U=\{ 1,2,3,4\}. Marque las interpretaciones de R en ese universo que satisfacen la fórmula.

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

SOLUCIÓN

Se satisface sólo en el caso a)

1 Mensaje

Comentar este artículo

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