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

Identidad y términos con funciones (doble universal, función de dos variables)

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

∀x ∀y (g(x,y) = g(y,x)) se interpreta sobre un universo U=\{ 1,2\}. Marque todas las interpretaciones de la función g que satisfacen la fórmula.

a) g(1,1)=1, g(1,2)=1, g(2,1)=1, g(2,2)=2
b) g(1,1)=1, g(1,2)=1, g(2,1)=2, g(2,2)=1
c) g(1,1)=2, g(1,2)=2, g(2,1)=1, g(2,2)=2
d) g(1,1)=2, g(1,2)=2, g(2,1)=2, g(2,2)=2
e) g(1,1)=2 ,g(1,2)=2 ,g(2,1)=2, g(2,2)=1

SOLUCIÓN

Se satisface para los casos a), d) y e)

Comentar este artículo

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