lógica-dual: sin-embarg y àduc

( Mi vozkatzen-koak és-de-tek un secretotzok

pero sin-embarg ( és-de-tek abertzale-koak y és-de-tek catalanotzok ) )

encara que soc-de-tek españolotzok.

( Mi vozkatzen-koak no és-de-tek un secretotzok

y endozein áduc-nek ( no és-de-tek abertzale-koak o no és-de-tek catalanotzok ) )

perque potsere-dut soc-de-tek españolotzok.

( p(x) pero sin-embarg ( q(x) y s(x) ) ) encara que r(y) <==> ...

... ( ( p(x), & ( q(x) & s(x) ) ) & r(y) ) & r(y)

( no p(x) y aleshores áduc ( no q(x) o no s(x) ) ) perque potser r(y) <==> ...

... ( ( ¬p(x); ==> ( ¬q(x) || ¬s(x) ) ) <== r(y) ) || ¬r(y)

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

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

( no p(x) y aleshores sin-embarg q(x) <==> ...

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

( p(x) pero áduc no q(x) <==> ...

... ( p(x); & ¬q(x) )

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

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

q(x) encara que sin-embarg p(x) <==> ( q(x) & ,p(x) )

no q(x) perque áduc no p(x) <==> ( ¬q(x) <== ;¬p(x) )