Autor Tema: Demostrar si es una interpretación

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

02 Julio, 2008, 05:58 pm
Leído 1021 veces

skinboy

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

¿Me pueden detallar como hacer los 2 primeros? y ya hago yo solo los demás.