morfosintaxis y computació, teoremas duales transitivos

ye parle ye-de-muá, le françé-de-le-patuá,

y elet-vut a-vot-má de-le-tom tambén.

[ [x] parle [x] , [a] , y elet-[u] a-vot-má de-le-tom tambén ]

tú parle tú-de-muá, le françé-de-le-pamuá,

y elet-nut a-vot-má de-le-tom tambén.

[ [y] parle [y] , [b] , y elet-[v] a-vot-má de-le-tom tambén ]

En lo Judaísmo Cristiano Stronikián,

se niega la Torá en binario.

En lo Judaísmo Islámico Stronikián,

se niega la Torá en borroso.

En lo Islam Cristiano Stronikián,

se niega lo Corán en binario.

En lo Cristianismo Islámico Stronikián,

se niega lo Evangelio en borroso.

En lo Cristianismo Stronikián,

se niega lo Evangelio en binario.

En lo Islam Stronikián,

se niega lo Corán en borroso.

En la Tierra solo sirve para vivir lo dual binario.

En la Tierra solo sirve para vivir lo dual borroso.

Dual binario:

for( [k] = 1 ; [k] [< [n] ; [k]++ )

{

}

P(for) = 1

P({}) = 0;

for( [k] = not(1) ; [k] >] not([n]) ; [k]-- )

{

}

P(for) = 1

P({}) = 0;

Dual borroso:

for( [k] = 1 ; [k] [< [n] ; [k] = [k]+2 ) 

{

[k]--;

}

P(for) = (2/3)

P({}) = (1/3)

for( [k] = not(1) ; [k] >] not([n]) ; [k] = [k]+not(2) ) 

{

[k]++;

}

P(for) = (2/3)

P({}) = (1/3)

Dual binario:

estructura lista

{

principio-lista

final-lista

}

Dual borroso:

estructura lista

{

principio-lista

centro-lista

final-lista

}

Dual binario:

estructura nodo

{

anterior

siguiente

}

Dual borroso:

estructura nodo

{

anterior

centro

siguiente

}

Dual binario:

construir-lista( estructura lista )

{

nodo-x = construir( sizeof( estructura nodo ) );

nodo-y = construir( sizeof( estructura nodo ) );

lista->[principio-lista] = nodo-x;

lista->[final-lista] = nodo-y;

nodo-x->[siguiente] = nodo-y;

nodo-y->[siguiente] = nodo-y;

nodo-x->[anterior] = nodo-x;

nodo-y->[anterior] = nodo-x;

}

Dual borroso:

construir-lista( estructura lista )

{

nodo-x = construir( sizeof( estructura nodo ) );

nodo-z = construir( sizeof( estructura nodo ) );

nodo-y = construir( sizeof( estructura nodo ) );

lista->[principio-lista] = nodo-x;

lista->[centro-lista] = nodo-z;

lista->[final-lista] = nodo-y;

nodo-x->[siguiente] = nodo-z;

nodo-z->[siguiente] = nodo-y;

nodo-y->[siguiente] = nodo-y;

nodo-y->[centro] = nodo-y;

nodo-z->[centro] = nodo-z;

nodo-x->[centro] = nodo-x;

nodo-x->[anterior] = nodo-x;

nodo-z->[anterior] = nodo-x;

nodo-y->[anterior] = nodo-z;

}

No sirve de nada en la Tierra lo sexo oral,

porque es un destructor:

culo-boca-culo-polla-y-boca.

No sirve de nada en la Tierra lo sexo anal,

porque es un destructor:

boca-culo-boca-polla-y-culo.

Aceite constructor:

O-(CH_{2})-(CH_{2})-(CH_{2})-(CH_{2})-O

C_{4n}H_{8n+2}O_{n+1}

Aceite destructor:

O-(CH_{2})-(CH_{2})-(CH_{2})-(NH)-O

C_{3n}N_{n}H_{7n+2}O_{n+1}

No tiene sentido pedir una demostración con modus ponens en la Tierra,

donde no funciona esa energía.

Solo tiene sentido enunciar teoremas constructores dualmente.

No tiene sentido pedir una demostración con destrócter ponens en la Tierra,

donde no funciona esa energía.

Solo tiene sentido enunciar teoremas destructores dualmente.

Teoremas Duales Transitivos:

Teoría:

Teorema:

Si ( x [< y & y [< z ) ==> x [< z.

Si ( x > y & y > z ) ==> x > z.

Teorema:

Si ( x >] y & y >] z ) ==> x >] z.

Si ( x < y & y < z ) ==> x < z.

Teorema:

Si ( x = y & y [< z ) ==> x [< z.

Si ( x = y & y > z ) ==> x > z.

Teorema:

Si ( x = y & y >] z ) ==> x >] z.

Si ( x = y & y < z ) ==> x < z.

Teorema:

Si ( x [< y & y = z ) ==> x [< z.

Si ( x > y & y = z ) ==> x > z.

Teorema:

Si ( x >] y & y = z ) ==> x >] z.

Si ( x < y & y = z ) ==> x < z.

Problemas:

Teorema:

Sea < f: K ---> A & x --> f(x) > ==>

Si x [< min(A) ==> x [< f(x).

Sea < f: K ---> B & x --> f(x) > ==>

Si x > sup(B) ==> x > f(x).

Demostración:

x [< min(A) [< f(x)

x > sup(B) > f(x)

Teorema:

Sea < f: K ---> A & x --> f(x) > ==>

Si x >] max(A) ==> x >] f(x).

Sea < f: K ---> B & x --> f(x) > ==>

Si x < inf(B) ==> x < f(x).

Demostración:

x >] max(A) >] f(x)

x < inf(B) < f(x)

Teorema:

Sea < f: K ---> A & x --> f(x) > ==>

Si f(x) = min({z: x >] z }) ==> x >] f(x).

Sea < f: K ---> B & x --> f(x) > ==>

Si f(x) = sup({z: x < z }) ==> x < f(x).

Demostración:

x >] z >] min({z: x >] z }) = f(x)

x < z < sup({z: x < z }) = f(x)

Teorema:

Sea < f: K ---> A & x --> f(x) > ==>

Si f(x) = max({z: x [< z }) ==> x [< f(x).

Sea < f: K ---> B & x --> f(x) > ==>

Si f(x) = inf({z: x > z }) ==> x > f(x).

Demostración:

x [< z [< max({z: x [< z }) = f(x)

x > z > inf({z: x > z }) = f(x)

Teorema:

[An][Ex][Ey][ x+y = n ]

[A(-n)][E(-x)][E(-y)][ (-x)+(-y) = (-n) ]

Demostración:

(1/2)+(1/2) = 1

(-1)·(1/2)+(-1)·(1/2) = (-1)

u+v = n

(-u)+(-v) = (-n)

x = u+(1/2)

(-x) = (-u)+(-1)·(1/2)

y = v+(1/2)

(-y) = (-v)+(-1)·(1/2)

x+y = n+1

(-x)+(-y) = (-n)+(-1)