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

Cuantificadores y variables (universal, conjunción, relaciones)

∀x (Rax ∧ (Rxa → Rxx)) se intepreta sobre el universo U=\{ 1,2,3\}. Marque todas las interpretaciones para a y R que satisfacen la fórmula.

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

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

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