logica dual: nogensmenys y sigensmés o nogensmenos y sigensmás

Nogensmenys ells viuen a Catalunya

pero sin-embarg son catalans.

Nogensmenys ells no viuen a Catalunya

y aleshores àduc no son catalans.

nogensmenys p(x) pero sin-embarg q(y) <==> ...

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

nogensmenys no p(x) y aleshores áduc no q(y) <==> ...

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

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

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

Sigensmés els catalans vivim a Catalunya

pero sin-embarg no serem independents.

Sigensmés els catalans no vivim a Catalunya

y aleshores àduc serem independents.

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

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

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

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

( p(x),, & ¬q(y) ) <==> ( ¬¬( ¬¬( p(x) ) ) & ¬q(y) )

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