27/01/2020, 03:19:52 am *
Bienvenido(a), Visitante. Por favor, ingresa o regístrate.
¿Perdiste tu email de activación?

Ingresar con nombre de usuario, contraseña y duración de la sesión
Noticias: Homenaje a aladan
 
 
Páginas: [1]   Ir Abajo
  Imprimir  
Autor Tema: Ejercicio de logica proposicional  (Leído 1098 veces)
0 Usuarios y 1 Visitante están viendo este tema.
skinboy
Pleno*
*****

Karma: +0/-0
Desconectado Desconectado

Sexo: Masculino
España España

Mensajes: 259



Ver Perfil
« : 02/07/2008, 12:45:04 pm »

Detemine los modelos y contramodelos del conjunto de fórmulas:
[texx]\omega[/texx]= {[texx] ¬q  \rightarrow{}  p, ¬p \vee r, ¬q \rightarrow{} r[/texx]}

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

[texx]Mod(\omega) = Mod_1 \cap{} Mod_2 \cap{} Mod_3[/texx]

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


En línea
Páginas: [1]   Ir Arriba
  Imprimir  
 
Ir a:  

Impulsado por MySQL Impulsado por PHP Powered by SMF 1.1.4 | SMF © 2006, Simple Machines LLC XHTML 1.0 válido! CSS válido!