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.

No comments:

Post a Comment