logica dual: sinogenspóc-m-n y sinogensmúlt-n-m y sinogensmitjos-n-n

nogensmenys sinogenspóc-m-n p(x) pero sin-embarg q(y) <==> ...

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

nogensmenys sinogenspóc-m-n no p(x) y aleshores áduc no q(y) <==> ...

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

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

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

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

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

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

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

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

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

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

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

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

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