
	INICIO Clientes \| Blog MATEMÁTICAS \| QUÍMICA \| FÍSICA \| Matemát. UNIVERSIDAD \| ALEMÁN

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

Cuantificadores y variables (doble universal, relaciones)

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