Portada del sitio > Lógica y Estructuras Discretas > 1 - Lógica de proposiciones y predicados de primer orden > Identidad y términos con funciones (universal, relación, función)
Identidad y términos con funciones (universal, relación, función)
∀x Rxf(x) se interpreta sobre el universo 
. 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 
)
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) 
c) 
d) 
e) 
. 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 )
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)
c)
d)
e) 
YouTube Twitter
Mi cuenta