Portada del sitio > Lógica y Estructuras Discretas > 1 - Lógica de proposiciones y predicados de primer orden > Identidad y términos con funciones (doble existencial, conjunción, (...)
Identidad y términos con funciones (doble existencial, conjunción, desigualdad)
∃x ∃y (Px ∧ Py ∧ x≠y ∧ Rxy) se interpreta sobre un universo 
. Marque las interpretaciones de P y R que satisfacen la fórmula.
a) 
b) 
c) 
d) 
e) P=1, R relación vacía (ningún elemento relacionado con otro)
. Marque las interpretaciones de P y R que satisfacen la fórmula.
a)
b)
c)
d)
e) P=1, R relación vacía (ningún elemento relacionado con otro)
YouTube Twitter
Mi cuenta