lógica dual

frase:
p(x) y entonces también q(x)
p(x) & ( p(x) ==> q(x) )


frase negada:
quizás p(x) pero q(x)
¬p(x) or ( p(x) & ¬q(x) )


frase:
no p(x) y entonces tampoco q(x)
¬p(x) & ( ¬p(x) ==> ¬q(x) )


frase negada:
quizás no p(x) pero q(x)
p(x) or ( ¬p(x) & q(x) )


frase:
p(x) y entonces no q(x)
p(x) & ( p(x) ==> ¬q(x) )


frase negada:
quizás p(x) pero también q(x)
¬p(x) or ( p(x) & q(x) )


frase:
no p(x) y entonces q(x)
¬p(x) & ( ¬p(x) ==> q(x) )


frase negada:
quizás p(x) pero tampoco q(x)
p(x) or ( ¬p(x) & ¬q(x) )