Portada del sitio > Lógica y Estructuras Discretas > 1 - Lógica de proposiciones y predicados de primer orden > Cuantificadores y variables (triple universal, relaciones)

Cuantificadores y variables (triple universal, relaciones)

∀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)\}

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

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