Thursday, 5 May 2011





[(p ightarrow q) and p ] ightarrow q
Si P implica Q, y P es verdadero, entonces Q es verdadero

[(p ightarrow q) and lnot q ] ightarrow lnot p
Si P implica Q, y Q es falso, entonces P es falso

[(p or q) and lnot p ] ightarrow q
Si P o Q son ciertos y P no es cierto, entonces q es cierto


Bueno,
¿y a mí qué?




E.
Publicado por a las
Etiquetas: ,

No comments:

Post a Comment

Subscribe to: Post Comments (Atom)