Portada del sitio > Lógica y Estructuras Discretas > Lógica > Identidad y términos con funciones (universal, relación, función)

Identidad y términos con funciones (universal, relación, función)

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

∀x Rxf(x) se interpreta sobre el universo U=\{ 1,2,3\}. Fijamos que en todas las interpretaciones consideradas la interpretación de f es:
f(1)=2, f(2)=1, f(3)=3,
( que se podía haber escrito como f=\{(1,2),(2,1),(3,3)\} )
Marque las interpretaciones de R que, junto a la de f, en este universo satisfacen la fórmula.

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

SOLUCIÓN

Se satisface en los casos b) y d)

Comentar este artículo

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