m_{1}·d_{tt}^{2}[x_{1}] = T+(-k)·x_{1}
m_{2}·d_{tt}^{2}[x_{2}] = F+(-T)
( m_{1}+m_{2} )·d_{tt}^{2}[x] = F+(-k)·x
x(t) = cos( ( k/(m_{1}+m_{2}) )^{(1/2)}·t )+i·sin( ( k/(m_{1}+m_{2}) )^{(1/2)}·t )+( F/k )
T = F+m_{2}·( cos( ( k/(m_{1}+m_{2}) )^{(1/2)}·t )+i·sin( ( k/(m_{1}+m_{2}) )^{(1/2)}·t ) )
sábado, 9 de mayo de 2020
viernes, 8 de mayo de 2020
bienaventuranzas segun sant Jûan l'stronikiano basado en el evangelio de Mateo
Afirmación:
Dichosos los pobres de espíritu,
porque de ellos no es el reino de los cielos.
Dichosos los que tienen hambre de justicia,
porque su hambre de justicia será saciada.
Dichosos los que tienen limpio el corazón,
porque verán a Dios y no serán juzgados.
Dichosos misericordiosos en cuerpo de milagro,
porque ellos alcanzarán la misericordia en alma de milagro.
Negación:
Dichosos los ricos de espíritu,
porque de ellos es el reino de los cielos.
Dichosos los que tienen sed de justicia,
porque su sed de justicia será saciada.
Dichosos los que tienen sucio el corazón,
porque escucharán a Dios y serán juzgados.
Dichosos misericordiosos en alma de milagro,
porque ellos alcanzarán la misericordia en cuerpo de milagro.
Dichosos los pobres de espíritu,
porque de ellos no es el reino de los cielos.
Dichosos los que tienen hambre de justicia,
porque su hambre de justicia será saciada.
Dichosos los que tienen limpio el corazón,
porque verán a Dios y no serán juzgados.
Dichosos misericordiosos en cuerpo de milagro,
porque ellos alcanzarán la misericordia en alma de milagro.
Negación:
Dichosos los ricos de espíritu,
porque de ellos es el reino de los cielos.
Dichosos los que tienen sed de justicia,
porque su sed de justicia será saciada.
Dichosos los que tienen sucio el corazón,
porque escucharán a Dios y serán juzgados.
Dichosos misericordiosos en alma de milagro,
porque ellos alcanzarán la misericordia en cuerpo de milagro.
jueves, 7 de mayo de 2020
Lógica matemàtica valoracions
A[ ¬f(x) ] = ¬A[f(x)]
A[ ( f(x) & g(y) ) ] = ( A[f(x)] & A[g(y)] )
A[ ( f(x) or g(y) ) ] = ( A[f(x)] or A[g(y)] )
A[ ( f(x) ==> g(y) ) ] = ( A[f(x)] ==> A[g(y)] )
A[ ( f(x) <== g(y) ) ] = ( A[f(x)] <== A[g(y)] )
A[ ( ( f(x) & g(y) ) ==> g(y) ) ] = 1
A[ ( f(x) <== ( f(x) & g(y) ) ] = 1
A[ ( g(y) ==> ( f(x) or g(y) ) ) ] = 1
A[ ( ( f(x) or g(y) ) <== f(x) ) ] = 1
A[ ( f(x) & g(y) ) ] = ( A[f(x)] & A[g(y)] )
A[ ( f(x) or g(y) ) ] = ( A[f(x)] or A[g(y)] )
A[ ( f(x) ==> g(y) ) ] = ( A[f(x)] ==> A[g(y)] )
A[ ( f(x) <== g(y) ) ] = ( A[f(x)] <== A[g(y)] )
A[ ( ( f(x) & g(y) ) ==> g(y) ) ] = 1
A[ ( f(x) <== ( f(x) & g(y) ) ] = 1
A[ ( g(y) ==> ( f(x) or g(y) ) ) ] = 1
A[ ( ( f(x) or g(y) ) <== f(x) ) ] = 1
Lógica matemàtica
[∃y][ f(y) ] <==> [∃A][∃x][ x€A & f(x) ]
[∀y][ f(y) ] <==> [∃A][∀x][ x€A ==> f(x) ]
Es defineish un A = {y}
Sigui x = y ==>
x€{y}
f(x)
[∃u][∃v][ f(u,v) ] <==> [∃A][∃x][∃y][ x,y€A & f(x,y) ]
[∀u][∀v][ f(u,v) ] <==> [∃A][∀x][∀y][ x,y€A ==> f(x,y) ]
Es defineish un A = {u,v}
Sigui x = u & y = v ==>
x,y€{u,v}
f(x,y)
[∀y][ f(y) ] <==> [∃A][∀x][ x€A ==> f(x) ]
Es defineish un A = {y}
Sigui x = y ==>
x€{y}
f(x)
[∃u][∃v][ f(u,v) ] <==> [∃A][∃x][∃y][ x,y€A & f(x,y) ]
[∀u][∀v][ f(u,v) ] <==> [∃A][∀x][∀y][ x,y€A ==> f(x,y) ]
Es defineish un A = {u,v}
Sigui x = u & y = v ==>
x,y€{u,v}
f(x,y)
Suscribirse a:
Entradas (Atom)