27/01/2020, 03:45:36 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: Demostrar si es una interpretación  (Leído 936 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:58:14 pm »

Demuestre que si I: L [texx] \longrightarrow{} [/texx] {0,1} es una interpretación de la Logica Clásica Proposicional, se verifica que:
a) I(¬A) = 1 - I(A)
b) I(A [texx] \wedge [/texx]B) = min{I(A), I(B)}
c) I(A [texx]\vee [/texx]B) = max{I(A),I(B)}
d) I(A [texx]\rightarrow{}[/texx] B) = 1 si y solo si I(A) [texx]\leq{}[/texx] I(B)

¿Me pueden detallar como hacer los 2 primeros? y ya hago yo solo los demás.
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!