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) )

ecuació de estat

PV = kT·e^{aT}

V = (1/P)·kT·e^{aT}

P = (1/V)·kT·e^{aT}

T = (1/a)·e-pow[1]( (PV)/k )

d_{P}[V] = (-1)·(V/P)

d_{V}[P] = (-1)·(P/V)

d_{T}[V] = (V/T)+(V·a)

d_{T}[P] = (P/T)+(P·a)

d_{V}[T] = (P/k)·(1/a)·( 1/(1+(aT)) )·( k/(PV) )·(aT)

d_{P}[T] = (V/k)·(1/a)·( 1/(1+(aT)) )·( k/(PV) )·(aT)

PV = kT·ln(aT)

V = (1/P)·kT·ln(aT)

P = (1/V)·kT·ln(aT)

T = (1/a)·ln-pow[1]( (PV)/k )

d_{P}[V] = (-1)·(V/P)

d_{V}[P] = (-1)·(P/V)

d_{T}[V] = (V/T)+(k/P)

d_{T}[P] = (P/T)+(k/V)

d_{V}[T] = (P/k)·(1/a)·( 1/(1+( 1/ln(aT) )) )·( k/(PV) )·(aT)

d_{P}[T] = (V/k)·(1/a)·( 1/(1+( 1/ln(aT) )) )·( k/(PV) )·(aT)