mecánica industrial imperial

mc = luz sólida o campo de masa.

d_{t}^{(1/m)}[x] = doble punto o perímetro de camino de la luz para ser sólida.

barra laser: ( segmento de dos cruces de laser )

mc·d_{t}^{(1/m)}[x] = qgx^{(1/m)}

x(t) = e^{( ( 1/(mc) )^{m}·(qg)^{m}·t}

mc·d_{t}^{(1/m)}[x] = (-1)·qgx^{(1/m)}

x(t) = e^{(-1)^{m}·( 1/(mc) )^{m}·(qg)^{m}·t}

cuadrado laser: ( superficie cuadrada de un perímetro laser )

mc·d_{t}^{(1/m)}[y] = (1/2)·ay^{(2/m)}

y(t) = ( ( 1/(-1) )·( 1/(mc) )^{m}·(1/2)^{m}·a^{m}·t )^{(-1)}

mc·d_{t}^{(1/m)}[y] = (-1)·(1/2)·ay^{(2/m)}

y(t) = ( (-1)^{m}·( 1/(-1) )·( 1/(mc) )^{m}·(1/2)^{m}·a^{m}·t )^{(-1)}

cubo laser: ( vallado destapado de aristas laser )

mc·d_{t}^{(1/m)}[z] = (4/3)·bz^{(3/m)}

z(t) = ( ( 2/(-1) )·( 1/(mc) )^{m}·(4/3)^{m}·b^{m}·t )^{( (-1)/2 )}

mc·d_{t}^{(1/m)}[z] = (-1)·(4/3)·bz^{(3/m)}

z(t) = ( (-1)^{m}·( 2/(-1) )·( 1/(mc) )^{m}·(4/3)^{m}·b^{m}·t )^{( (-1)/2 )}

mecánica industrial imperial

mecánica industrial termodinámica:

T = R·q

q·d_{t}^{(1/m)}[T] = kT^{(1/m)}

T(t) = e^{(k/q)^{m}·t}

q·d_{t}^{(1/m)}[T] = (-1)·kT^{(1/m)}

T(t) = e^{(-1)^{m}·(k/q)^{m}·t}

v = volumen

(v/f)·d_{t}^{(1/m)}[P] = VP^{(1/m)}

P(t) = e^{(f/v)^{m}·V^{m}·t}

(v/f)·d_{t}^{(1/m)}[P] = (-1)·VP^{(1/m)}

P(t) = e^{(-1)^{m}·(f/v)^{m}·V^{m}·t}

p = presión

(p/f)·d_{t}^{(1/m)}[V] = PV^{(1/m)}

V(t) = e^{(f/p)^{m}·P^{m}·t}

(p/f)·d_{t}^{(1/m)}[V] = (-1)·PV^{(1/m)}

V(t) = e^{(-1)^{m}·(f/p)^{m}·P^{m}·t}

mecánica industrial cuántica:

S = superficie

holograma sólido:

m·S·d_{t}^{(1/m)}[f] = h_{e}f^{(1/m)}

f(t) = e^{( h_{e}/(m·S) )^{m}·t}

m·S·d_{t}^{(1/m)}[f] = (-1)·h_{e}f^{(1/m)}

f(t) = e^{(-1)^{m}·( h_{e}/(m·S) )^{m}·t}

holograma fantasmal:

m·S·d_{t}^{(1/m)}[f] = h_{g}f^{(1/m)}

f(t) = e^{( h_{g}/(m·S) )^{m}·t}

m·S·d_{t}^{(1/m)}[f] = (-1)·h_{g}f^{(1/m)}

f(t) = e^{(-1)^{m}·( h_{g}/(m·S) )^{m}·t}

mecánica industrial de circuito eléctrico:

(T/f)·d_{t}^{(1/m)}[I] = qRI^{(1/m)}

I(t) = e^{(f/T)^{m}·(qR)^{m}·t}

(T/f)·d_{t}^{(1/m)}[I] = (-1)·qRI^{(1/m)}

I(t) = e^{(-1)^{m}·(f/T)^{m}·(qR)^{m}·t}

tabaco según sant Jûan l'stronikián

fumaba tabaco rubio y era flojo.

fumaba tabaco moreno o era fuerte.

fumaba tabaco moreno y era fuerte.

fumaba tabaco rubio o era flojo.

fumaba tabaco rubio y era flojo

y entonces también fumaba tabaco rubio con pipa.

quizás fumaba tabaco rubio y era flojo

pero no fumaba tabaco rubio con pipa.

fumaba tabaco moreno y era fuerte

y entonces también fumaba tabaco moreno con pipa.

quizás fumaba tabaco moreno y era fuerte

pero no fumaba tabaco moreno con pipa.

destructor matemàtic expansiva-contractiva y intervals

teorema:

Si x [< y = z ==> x [< z

demostració:

x [< y [< z & z [< y

teorema:

Si x = y [< z ==> x [< z

demostració:

y [< x & x [< y [< z

teorema:

Si x [< y < z ==> x < z

demostració:

x [< y [< z & Absurd: Si x = z ==> ( z = x [< y [< z & y != z )

teorema:

Si x < y [< z ==> x < z

demostració:

x [< y [< z & Absurd: Si x = z ==> (  x [< y [< z = x & x != y )

teorema:

Si x != y = z ==> x != z

demostració:

Absurd: Si x = z ==> y = z = x & x != y

teorema:

Si x = y != z ==> x != z

demostració:

Absurd: Si x = z ==> z = x = y & y != z

teorema:

Si x < y = z ==> x < z

demostració:

x [< y [< z & z [< y

x != y = z

teorema:

Si x = y < z ==> x < z

demostració:

y [< x & x [< y [< z

x = y != z

definició:

[Ax][ x€A ==> min(A) [< x [< max(A) ]

[Ax][ x€A ==> inf(A) < x < sup(A) ]

definició:

[a,b]_{A} = { x€A : a [< x [< b }

(a,b)_{A} = { x€A : a < x < b }

[a,b)_{A} = { x€A : a [< x < b }

(a,b]_{A} = { x€A : a < x [< b }

definició:

a |=| b

101

100

001

000

teorema:

Si R(u,x) |=| R(x,v) ==> R(u,x) & R(x,v).

( ( R(u,x) & R(x,y) ) |=| ( R(y,x) & R(x,v) ) ) <==> R(u,x) |=| R(x,v).

( ( R(u,x) & R(x,y) ) |=| ( R(y,z) & R(z,v) ) ) <==> ...

... ( ( R(u,x) & R(x,y) ) |=| ( R(y,x) & R(x,v) ) ).

teorema constructor:

(a,c]_{A} [ |=| ] [c,b)_{A} [<< (a,b)_{A}

teorema destructor:

Sigui A totalment ordenat.

(a,c]_{A} [ |=| ] [c,b)_{A} [<< [b,a]_{A}

a < x [< c |=| c [< y < b

a < x [< c |=| c [< x < b

a < x |=| x < b

a < x < b

¬( a < x || x < b )

b [< x [< a

teorema constructor:

[a,c)_{A} [ |=| ] (c,b]_{A} [<< [a,b]_{A}

teorema destructor:

Sigui A totalment ordenat.

[a,c)_{A} [ |=| ] (c,b]_{A} [<< (b,a)_{A}

a [< x < c |=| c < y [< b

a [< x < c |=| c < x [< b

a [< x |=| x [< b

a [< x [< b

¬( a [< x || x [< b )

b < x < a

(a,c]_{A} [ |=| ] [c,d]_{A} [ |=| ] [d,b)_{A} [<< (a,b)_{A}

a < x [< c |=| c [< y [< d

a < x [< c |=| c [< x [< d

a < x |=| x [< d

a < x [< d

a < x [< d |=| d [< z < b

a < x [< d |=| d [< x < b

a < x |=| x < b

a < x < b

[a,c)_{A} [ |=| ] (c,d)_{A} [ |=| ] (d,b]_{A} [<< [a,b]_{A}

a [< x < c |=| c < y < d

a [< x < c |=| c < x < d

a [< x |=| x < d

a [< x < d

a [< x < d |=| d < z [< b

a [< x < d |=| d < x [< b

a [< x |=| x [< b

a [< x [< b

(a,c]_{A} [ |=| ] [c,s)_{A} [ |=| ] (s,d]_{A} [ |=| ] [d,b)_{A} [<< (a,b)_{A}

a < x [< c |=| c [< y < s

a < x [< c |=| c [< x < s

a < x |=| x < s

a < x < s

a < x < s |=| s < z [< d

a < x < s |=| s < x [< d

a < x |=| x [< d

a < x [< d

a < x [< d |=| d [< t < b

a < x [< d |=| d [< x < b

a < x |=| x < b

a < x < b

[a,c)_{A} [ |=| ] (c,s]_{A} [ |=| ] [s,d)_{A} [ |=| ] (d,b]_{A} [<< [a,b]_{A}

a [< x < c |=| c < y [< s

a [< x < c |=| c < x [< s

a [< x |=| x [< s

a [< x [< s

a [< x [< s |=| s [< z < d

a [< x [< s |=| s [< x < d

a [< x |=| x < d

a [< x < d

a [< x < d |=| d < t [< b

a [< x < d |=| d < x [< b

a [< x |=| x [< b

a [< x [< b

laboratori de problemes:

Sigui A totalment ordenat.

(a,c]_{A} [ |=| ] [c,s]_{A} [ |=| ] [s,d]_{A} [ |=| ] [d,b)_{A} [<< [b,a]_{A}

[a,c)_{A} [ |=| ] (c,s)_{A} [ |=| ] (s,d)_{A} [ |=| ] (d,b]_{A} [<< (b,a)_{A}

Sigui A,B [<< E & E totalment ordenat.

Si < f: A---> B & x -->f(x) > & max(A) [< min(B) ==> f(x) < x

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

Si < f: A---> B & x -->f(x) > & max(A) < min(B) ==> f(x) [< x

Si < f: A---> B & x -->f(x) > & min(A) >] max(B) ==> f(x) > x

Si < f: A---> B & x -->f(x) > & min(A) > max(B) ==> f(x) >] x

Si < f: [1,n]_{N}---> [n,m]_{N} & x -->f(x) > ==> f(x) < x

1 [< x [< n [< f(x) [< m

Si < f: [(-n),(-1)]_{N} ---> [(-m),(-n)]_{N}  & x -->f(x) > ==> f(x) > x

(-m) [< f(x) [< (-n) [< x [< (-1)

laboratori de problemes:

Si < f: [1,n]_{N}---> [n+1,2n]_{N} & x -->f(x) > ==> f(x) [< x

Si < f: [(-n),(-1)]_{N} ---> [(-2)·n,(-n)+(-1)]_{N}  & x -->f(x) > ==> f(x) >] x

Sigui A totalment ordenat.

Si < f: A ---> A & x --> f(x) = max{ z€A : x [< z } > ==> f(x) < x

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

Si < f: A ---> A & x --> f(x) = max{ z€A : x < z } > ==> f(x) [< x

Si < f: A ---> A & x --> f(x) = min{ z€A : x >] z } > ==> f(x) > x

Si < f: A ---> A & x --> f(x) = min{ z€A : x > z } > ==> f(x) >] x

Sigui A totalment ordenat.

Si < f: A ---> A & x --> f(x) = sup{ z€A : x [< z } > ==> f(x) [< x

x [< z < sup{ z€A : x [< z } = f(x)

Si < f: A ---> A & x --> f(x) = sup{ z€A : x < z } > ==> f(x) [< x

Si < f: A ---> A & x --> f(x) = inf{ z€A : x >] z } > ==> f(x) >] x

Si < f: A ---> A & x --> f(x) = inf{ z€A : x > z } > ==> f(x) >] x

Sigui A totalment ordenat.

Si < f: A ---> A & x --> f_{n}(x) = max{ z€A : x [< min{z,n} } > ==> f_{n}(x) < x

x [< min{z,n} [< z [< max{ z€A : x [< min{z,n} } = f_{n}(x)

Si < f: A ---> A & x --> f_{n}(x) = max{ z€A : x < min{z,n} } > ==> f_{n}(x) [< x

Si < f: A ---> A & x --> f_{n}(x) = min{ z€A : x >] max{z,(-n)} } > ==> f_{n}(x) > x

Si < f: A ---> A & x --> f_{n}(x) = min{ z€A : x > max{z,(-n)} } > ==> f_{n}(x) >] x

Sigui A totalment ordenat.

Si < f: A ---> A & x --> f_{n}(x) = sup{ z€A : x [< inf{z,n} } > ==> f_{n}(x) [< x

x [< inf{z,n} < z < sup{ z€A : x [< inf{z,n} } = f_{n}(x)

Si < f: A ---> A & x --> f_{n}(x) = sup{ z€A : x < inf{z,n} } > ==> f_{n}(x) [< x

Si < f: A ---> A & x --> f_{n}(x) = inf{ z€A : x >] sup{z,(-n)} } > ==> f_{n}(x) >] x

Si < f: A ---> A & x --> f_{n}(x) = inf{ z€A : x > sup{z,(-n)} } > ==> f_{n}(x) >] x

Sigui A totalment ordenat.

Si < f: A ---> A & x --> f_{n}(x) = max{ z€A : x [< inf{z,n} } > ==> f_{n}(x) [< x

x [< inf{z,n} < z [< max{ z€A : x [< inf{z,n} } = f_{n}(x)

Si < f: A ---> A & x --> f_{n}(x) = max{ z€A : x < inf{z,n} } > ==> f_{n}(x) [< x

Si < f: A ---> A & x --> f_{n}(x) = min{ z€A : x >] sup{z,(-n)} } > ==> f_{n}(x) >] x

Si < f: A ---> A & x --> f_{n}(x) = min{ z€A : x > sup{z,(-n)} } > ==> f_{n}(x) >] x

Sigui A totalment ordenat.

Si < f: A ---> A & x --> f_{n}(x) = sup{ z€A : x [< min{z,n} } > ==> f_{n}(x) [< x

x [< min{z,n} [< z < sup{ z€A : x [< min{z,n} } = f_{n}(x)

Si < f: A ---> A & x --> f_{n}(x) = sup{ z€A : x < min{z,n} } > ==> f_{n}(x) [< x

Si < f: A ---> A & x --> f_{n}(x) = inf{ z€A : x >] max{z,(-n)} } > ==> f_{n}(x) >] x

Si < f: A ---> A & x --> f_{n}(x) = inf{ z€A : x > max{z,(-n)} } > ==> f_{n}(x) >] x

stowed prepositions

on vante [o] back ( delante de [o] detrás de )

in front of [o] comback of ( en frente de [o] en wuaque de )

up [o] dawn

over [o] under

left [o] right

on [o] in sote

latas de refresco según l'evangelio borroso stronikián

me he bebido un refresco del pack de seis que he comprado.

P(x) = (1/6)

|oxo|-|ooo|

|ooo|-|oxo|

me he bebido cinco refrescos del pack de seis que he comprado.

¬P(x) = (5/6)

|xox|-|xxx|

|xxx|-|xox|

me he bebido dos refrescos del pack de seis que he comprado.

P(x) = (1/3)

|oxo|-|oxo|

me he bebido cuatro refrescos del pack de seis que he comprado.

¬P(x) = (2/3)

|xox|-|xox|

paquete de tabaco según l'evangelio borroso stronikián

me he fumado un cigarro de un paquete de vente cigarros.

P(x) = (1/20)

|oooxooo|-|oooooo|-|ooooooo|

|ooooooo|-|oooooo|-|oooxooo|

me he fumado diez-y-nueve cigarros de un paquete de vente cigarros.

¬P(x) = (19/20)

|xxxoxxx|-|xxxxxx|-|xxxxxxx|

|xxxxxxx|-|xxxxxx|-|xxxoxxx|

me he fumado dos cigarros de un paquete de vente cigarros.

P(x) = (1/10)

|oooxooo|-|oooooo|-|oooxooo|

me he fumado diez-y-ocho cigarros de un paquete de vente cigarros.

¬P(x) = (9/10)

|xxxoxxx|-|xxxxxx|-|xxxoxxx|

cartón de tabaco según l'evangelio borroso stronikián

me he fumado un paquete de tabaco de un cartón de diez paquetes de tabaco.

P(x) = (1/10)

|ooxoo|-|ooooo|

|ooooo|-|ooxoo|

me he fumado nueve paquetes de tabaco de un cartón de diez paquetes de tabaco.

¬P(x) = (9/10)

|xxoxx|-|xxxxx|

|xxxxx|-|xxoxx|

me he fumado dos paquetes de tabaco de un cartón de diez paquetes de tabaco.

P(x) = (1/5)

|ooxoo|-|ooxoo|

me he fumado ocho paquetes de tabaco de un cartón de diez paquetes de tabaco.

¬P(x) = (4/5)

|xxoxx|-|xxoxx|

me he fumado tres paquetes de tabaco de un cartón de diez paquetes de tabaco.

P(x) = (1/5)

|ooxoo|-|oxoxo|

|oxoxo|-|ooxoo|

me he fumado siete paquetes de tabaco de un cartón de diez paquetes de tabaco.

¬P(x) = (7/10)

|xxoxx|-|xoxox|

|xoxox|-|xxoxx|

me he fumado cuatro paquetes de tabaco de un cartón de diez paquetes de tabaco.

P(x) = (2/5)

|oxoxo|-|oxoxo|

me he fumado seis paquetes de tabaco de un cartón de diez paquetes de tabaco.

¬P(x) = (3/5)

|xoxox|-|xoxox|