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 1364 veces

skinboy

  • $$\Large \color{#5e8d56}\pi\,\pi\,\pi$$
  • Mensajes: 257
  • 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.