Ser ininterrumpidamente

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

Subscribe to: Post Comments (Atom)