logica dual: sinogensménys-menys-n y sinogensmés-mes-n

nogensmenys sinogensménys-menys-n p(x) pero sin-embarg q(y) <==> ...

... ( p(x),;...(n)...;; & q(y) )

nogensmenys sinogensménys-menys-n no p(x) y aleshores áduc no q(y) <==> ...

... ( ¬p(x);;...(n)...;; ==> ¬q(y) )

( p(x),;...(n)...;; & q(y) ) <==> ... 

... ( ¬¬¬( ¬¬¬( ...(n)... ( ¬¬¬( ¬¬( p(x) ) ) ) ...(n)... ) ) & q(y) )

( ¬p(x);;...(n)...;; ==> ¬q(y) ) <==> ...

... ( ¬¬¬( ¬¬¬( ...(n)... ( ¬¬¬( ¬¬¬( ¬p(x) ) ) ) ...(n)... ) ) ==> ¬q(y) )

sigensmés sinogensmés-mes-n p(x) pero sin-embarg q(y) <==> ...

... ( p(x),,...(n)...,, & q(y) )

sigensmés sinogensmés-mes-n no p(x) y aleshores áduc no q(y) <==> ...

... ( ¬p(x);,...(n)...,, ==> ¬q(y) )

( p(x),,...(n)...,, & q(y) ) <==> ...

... ( ¬¬( ¬¬( ...(n)... ( ¬¬( ¬¬( p(x) ) ) ) ...(n)... ) ) & q(y) )

( ¬p(x);,...(n)...,, ==> ¬q(y) ) <==> ...

... ( ¬¬( ¬¬( ...(n)... ( ¬¬( ¬¬¬( ¬p(x) ) ) ) ...(n)... ) ) ==> ¬q(y) )