p(x) perque sinó q(x) <==> ...
... p(x) || ( ¬p(x) ==> q(x) )
no p(x) pero que no-obstant no q(x) <==> ...
... ¬p(x) & ( ¬p(x) & ¬q(x) )
q(x) ans al contrari p(x) <==> ...
... ( q(x) <== ¬p(x) ) || p(x)
no q(x) encara que no-obstant no p(x) <==> ...
... ( ¬q(x) & ¬p(x) ) & ¬p(x)
No hay comentarios:
Publicar un comentario