planet-wargame

movimiento-de-una-pieza-de-x

movimiento-de-una-pieza-de-y

disparo-lineal-x:

tirada-para-impactar-de-x-sobre-tiros-de-x <==> impactar(x) & tiros(x)

tirada-de-reacción-de-y-sobre-impactos-de-x <==> reacción(y)

tirada-para-impactar-de-y-sobre-reacción-de-y <==> impactar(y)

tirada-de-salvación-de-y <==> salvación(y)

tirada-de-salvación-de-x <==> salvación(x)

disparo-lineal-y:

tirada-para-impactar-de-y-sobre-tiros-de-y <==> impactar(y) & tiros(y)

tirada-de-reacción-de-x-sobre-impactos-de-y <==> reacción(x)

tirada-para-impactar-de-x-sobre-reacción-de-x <==> impactar(x)

tirada-de-salvación-de-x <==> salvación(x)

tirada-de-salvación-de-y <==> salvación(y)

disparo-parabólico-x:

tirada-para-impactar-de-x <==> impactar(x)

tirada-de-reacción-de-y-sobre-plantilla-de-x <==> reacción(y)

tirada-de-salvación-de-y <==> salvación(y)

disparo-parabólico-y:

tirada-para-impactar-de-y <==> impactar(y)

tirada-de-reacción-de-x-sobre-plantilla-de-y <==> reacción(x)

tirada-de-salvación-de-x <==> salvación(x)

cuerpo-a-cuerpo:

tirada-de-ataques-de-x <==> ataques(x)

tirada-de-ataques-de-y <==> ataques(y)

Si ataques-de-x > ataques-de-y ==> tirada-de-salvación-de-y

Si ataques-de-x < ataques-de-y ==> tirada-de-salvación-de-x

Cartas-de-eventos:

Buena-puntería <==> impactar+(-1)

Mala-puntería <==> impactar+(+1)

Muy-Buena-puntería <==> impactar+(-2)

Muy-Mala-puntería <==> impactar+(+2)

Buena-Suerte-en-puntería <==> max{dado[k],dado-fantasma}

Mala-Suerte-en-puntería <==> min{dado[k],dado-fantasma}

Buena-reacción <==> reacción+(-1)

Mala-reacción <==> reacción+(+1)

Muy-Buena-reacción <==> reacción+(-2)

Muy-Mala-reacción <==> reacción+(+2)

Buena-Suerte-en-reacción <==> max{dado[k],dado-fantasma}

Mala-Suerte-en-reacción <==> min{dado[k],dado-fantasma}

Buena-Suerte-en-salvación <==> max{dado[k],dado-fantasma}

Mala-Suerte-en-salvación <==> min{dado[k],dado-fantasma}

Armas-lineales:

Soldado:

impactar(x) = 4+

reacción(x) = 4+

salvación(x) = 4+

estilo-de-disparo: lineal-visible

tiros(x) = 6

Soldado-de-arma-semi-pesada:

impactar(x) = 4+

reacción(x) = 4+

salvación(x) = 4+

estilo-de-disparo: lineal-visible

modificador-a-la-salvación-de-y(x) = (-1)

tiros(x) = 6

Soldado-de-arma-pesada:

impactar(x) = 4+

reacción(x) = 4+

salvación(x) = 4+

estilo-de-disparo: lineal-visible

modificador-a-la-salvación-de-y(x) = (-2)

tiros(x) = 6

Soldado-de-armadura-semi-pesada:

impactar(x) = 4+

reacción(x) = 4+

salvación(x) = 3+

estilo-de-disparo: lineal-visible

tiros(x) = 6

Soldado-de-armadura-semi-pesada-con-arma-semi-pesada:

impactar(x) = 4+

reacción(x) = 4+

salvación(x) = 3+

estilo-de-disparo: lineal-visible

modificador-a-la-salvación-de-y(x) = (-1)

tiros(x) = 6

Soldado-de-armadura-semi-pesada-con-arma-pesada:

impactar(x) = 4+

reacción(x) = 4+

salvación(x) = 3+

estilo-de-disparo: lineal-visible

modificador-a-la-salvación-de-y(x) = (-2)

tiros(x) = 6

Soldado-de-armadura-pesada:

impactar(x) = 4+

reacción(x) = 4+

salvación(x) = 2+

estilo-de-disparo: lineal-visible

tiros(x) = 6

Soldado-de-armadura-pesada-con-arma-semi-pesada:

impactar(x) = 4+

reacción(x) = 4+

salvación(x) = 2+

estilo-de-disparo: lineal-visible

modificador-a-la-salvación-de-y(x) = (-1)

tiros(x) = 6

Soldado-de-armadura-pesada-con-arma-pesada:

impactar(x) = 4+

reacción(x) = 4+

salvación(x) = 2+

estilo-de-disparo: lineal-visible

modificador-a-la-salvación-de-y(x) = (-2)

tiros(x) = 6

Armas-parabólicas:

Soldado-lanza-granadas:

impactar(x) = 4+

reacción(x) = 4+

salvación(x) = 4+

estilo-de-disparo: parabólico-plantilla

tiros(x) = 1

Soldado-lanza-misiles-semi-pesado:

impactar(x) = 4+

reacción(x) = 4+

salvación(x) = 4+

estilo-de-disparo: parabólico-plantilla

modificador-a-la-salvación-de-y(x) = (-1)

tiros(x) = 1

Soldado-lanza-misiles-pesado:

impactar(x) = 4+

reacción(x) = 4+

salvación(x) = 4+

estilo-de-disparo: parabólico-plantilla

modificador-a-la-salvación-de-y(x) = (-2)

tiros(x) = 1

conjunts relacions connectives

A [(M)] B = { <x,y> : x€A & y€B }

A [(M)] B és reflexiva <==> x€ A [M] B

A [(M)] B és simétrica <==> ( x€ A [M] B <==> y€ A [M] B )

A [(M)] B és transitiva <==> Si ( x€ A & y€ B [M] A & z€ B ) ==> ( x€ A & z€ B )

A = {a,b,c} & B = {a,b,d} ==>

A [(M)] B = { <a,a>,<b,a>,<a,b>,<b,b>,<c,a>,<a,d>,<c,b>,<b,d>,<c,d>}

A [(W)] B = { <x,y> : x€A or y€B }

A [(W)] B és reflexiva <==> x€ A [W] B

A [(W)] B és simétrica <==> ( x€ A [W] B <==> y€ A [W] B )

A [(W)] B és transitiva <==> Si ( x€ A or y€ B [W] A or z€ B ) ==> ( x€ A or z€ B )

A = {a,b,c} & B = {a,b,d} ==>

A [(W)] B = ...

... { <a,a>,<b,a>,<a,b>,<b,b>, ...

... <a,c>,<c,a>,<a,d>,<d,a>,<b,c>,<c,b>,<b,d>,<d,b>,<c,d>,<c,c>,<d,d>}

complemento del contra-modus-ponens

( El partido X tenía mayoría absoluta,

aunque pocos lo habían votado )

porque habían hecho trampas electorales.

Habían manipulado las elecciones

y entonces también ( el partido ¬X tenía minoría absoluta,

aunque muchos lo habían votado ). 

literatura dual

( Antes del 2010, Jûan Garriga viajaba por Barcelona en motocicleta )

porque sabía conducir motocicletas.

Era conductor de motocicletas

y entonces también ( paraba en gasolineras a poner gasolina a la motocicleta,

porque tenía una motocicleta para conducir ).

( Después del 2010, Jûan Garriga no viajaba por Barcelona en motocicleta )

aunque quizás sabía conducir motocicletas.

Quizás era conductor de motocicletas

pero ( no paraba en gasolineras a poner gasolina a la motocicleta,

porque no tenía una motocicleta para conducir ).

electromagnetismo: teoría de campos

E(x,y,z) = kq·< f(x),f(y),f(z) >

¬E(x,y,z) = kq·< g(y,z),g(z,x),g(x,y) >

div[ E(x,y,z) ] = d_{x}[f(x)]+d_{y}[f(y)]+d_{z}[f(z)]

d_{xyz}^{3}[ Flux[ E(x,y,z) ] ] = d_{x}[f(x)]+d_{y}[f(y)]+d_{z}[f(z)]

div[ ¬E(x,y,z) ] = 0

d_{xyz}^{3}[ Flux[ ¬E(x,y,z) ] ] = 0

 

rot[ E(x,y,z) ] = kq·< x·( f(y)+(-1)·f(z) ),y·( f(z)+(-1)·f(x) ),z·( f(x)+(-1)·f(y) ) >

rot[ ¬E(x,y,z) ] = kq·< x·( g(z,x)+(-1)·g(x,y) ),y·( g(x,y)+(-1)·g(y,z) ),z·( g(y,z)+(-1)·g(z,x) ) >

flux[ rot[ E(x,y,z) ] ] = 0

flux[ rot[ ¬E(x,y,z) ] ] = ...

... x·( int[ g(y,z) ] d[y]·z+(-1)·int[ g(y,z) ] d[z]·y )+...

... y·( int[ g(z,x) ] d[z]·x+(-1)·int[ g(z,x) ] d[x]·z )+...

... z·( int[ g(x,y) ] d[x]·y+(-1)·int[ g(x,y) ] d[y]·x )

d_{t}[ E(x,y,z) ] = ...

... kq·< d_{x}[f(x)]·d_{t}[x], d_{y}[f(y)]·d_{t}[y],d_{z}[f(z)]·d_{t}[z] >

J(x,y,z) = d_{t}[ E(x,y,z) ]+rot[ E(x,y,z) ]

d_{t}[ ¬E(x,y,z) ] = ...

... kq· ...

... < ...

... int[ d_{yz}^{2}[g(y,z)]·d_{t}[y]·d_{t}[z] ] d[t], ...

... int[ d_{zx}^{2}[g(z,x)]·d_{t}[z]·d_{t}[x] ] d[t], ...

... int[ d_{xy}^{2}[g(x,y)]·d_{t}[x]·d_{t}[y] ] d[t] ...

... >

¬J(x,y,z) = d_{t}[ ¬E(x,y,z) ]+rot[ ¬E(x,y,z) ]

E(x,y,z) = ...

... kq·< f(x),f(y),f(z) >

¬E(x,y,z) = ...

... (1/2)·kq·< f(y)+f(z),f(z)+f(x),f(x)+f(y) >

E(x,y,z) = ...

... kq·< e^{f(x)},e^{f(y)},e^{f(z)} >

¬E(x,y,z) = ...

... kq·< e^{( f(y)+f(z) )},e^{( f(z)+f(x) )},e^{( f(x)+f(y) )} >

operadores lineales y bilineales

A[ f(x) ] = P(x)·d_{x}[ f(x) ]

A[ f(x)+g(x) ] = A[ f(x) ]+A[ g(x) ]

A[ s·f(x) ] = s·A[ f(x) ]

B[ f(x) ] = Q(x)·int[ f(x) ] d[x]

B[ f(x)+g(x) ] = B[ f(x) ]+B[ g(x) ]

B[ s·f(x) ] = s·B[ f(x) ]

M[ f(x) ] = L(x)·( f(x) )

M[ f(x)+g(x) ] = M[ f(x) ]+M[ g(x) ]

M[ s·f(x) ] = s·M[ f(x) ]

C[ f(x),h(x) ] = P(x)·( d_{x}[ f(x) ]·h(x) )

C[ f(x)+g(x),h(x) ] = C[ f(x),h(x) ]+C[ g(x),h(x) ]

C[ h(x),f(x)+g(x) ] = C[ h(x),f(x) ]+C[ h(x),g(x) ]

C[ s·f(x),h(x) ] = s·C[ f(x),h(x) ]

C[ f(x),s·h(x) ] = s·C[ f(x),h(x) ]

D[ f(x),h(x) ] = Q(x)·( int[ f(x) ] d[x]·h(x) )

D[ f(x)+g(x), h(x) ] = D[ f(x),h(x) ]+D[ g(x),h(x) ]

D[ h(x),f(x)+g(x) ] = D[ h(x),f(x) ]+D[ h(x),f(x) ]

D[ s·f(x),h(x) ] = s·D[ f(x),h(x) ]

D[ f(x),s·h(x) ] = s·D[ f(x),h(x) ]

N[ f(x),h(x) ] = L(x)·( f(x)·h(x) )

N[ f(x)+g(x),h(x) ] = N[ f(x),h(x) ]+N[ g(x),h(x) ]

N[ h(x),f(x)+g(x) ] = N[ h(x),f(x) ]+N[ h(x),g(x) ]

N[ s·f(x),h(x) ] = s·N[ f(x),h(x) ]

N[ f(x),s·h(x) ] = s·N[ f(x),h(x) ]

factorial

1!+2!+...+n! = 2^{2k+1}+1 <==> n = 2,3,4 & k = 0,1,2

1!+2!+...+n! = 2^{2k+1}+1·4!+1 <==> n = 5 & k = 3

1!+2!+...+n! = 2^{2k+1}+3·5!+1 <==> n = 6 & k = 4