Portada del sitio > Lógica y Estructuras Discretas > Lógica > Cuantificadores y variables (universal, conjunción, relaciones)

Cuantificadores y variables (universal, conjunción, relaciones)

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

∀x (Rax ∧ (Rxa → Rxx)) se intepreta sobre el universo U=\{ 1,2,3\}. Marque todas las interpretaciones para a y R que satisfacen la fórmula.

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

SOLUCIÓN

Se satisface en los casos b) y c)

1 Mensaje

  • Por favor corrigeme
    La e) :
    Yo lo que hago que resuelvo lo del paréntesis y digo las x quieren a y a a si mismo
    (1,1) , (2,1) , (3,1) para mí sería falso por no estar (2,1) falso con el condicional y otra cosa es verdadero .
    paso siguiente: las a se relacionan con las x (1,1) , (1,2) (1,3) para mi cierto, todo cierto la fórmula es verdadera.
    ¿Es así ?
    esto es muy complicado!!!!

    Responder a este mensaje

Comentar este artículo

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