Autor Tema: Ejercicio de logica proposicional

0 Usuarios y 1 Visitante están viendo este tema.

02 Julio, 2008, 05:45 pm
Leído 1175 veces

skinboy

  • Aprendiz
  • Mensajes: 259
  • Karma: +0/-0
  • Sexo: Masculino
Detemine los modelos y contramodelos del conjunto de fórmulas:
\( \omega \)= {\(  ¬q  \rightarrow{}  p, ¬p \vee r, ¬q \rightarrow{} r \)}

Para definir los modelos he hecho lo siguiente:
\( Mod_1 \)(¬q \( \rightarrow{} \) p) = {q1p0,q1p1,q0p1}
\( Mod_2 \)(¬p \( \vee \) r) = {p0r0,p0r1,p1r1}
\( Mod_3 \)(¬q \( \rightarrow{} \) r) = {q0r1,q1r0,q1r1}

\( Mod(\omega) = Mod_1 \cap{} Mod_2 \cap{} Mod_3 \)

Ya no sé como continuar porque al haber distintos simbolos proposicionales no lo sé hacer.