sequent

These are the initial and sequent depths of a hydraulic jump, respectively.	Éstas son las profundidades inicial y secuente, respectivamente, de un salto hidráulico.
The objective of natural deduction is to prove that a sequent is valid.	El objetivo de la deducción natural es demostrar que un secuente es válido.
The depth y1 is the initial depth and y2 is the sequent depth.	La profundidad y1 es la profundidad inicial y y2 es la profundidad secuente.
What are the sequent depths?	¿Cuáles son las profundidades secuentes?
Natural deduction is a way to prove the validity of a sequent, but there exist still more.	La deducción natural es una forma de demostrar la validez de un secuente, pero hay más.
Derive the relation between the initial (y1) and sequent (y2) depth in a hydraulic jump (Eq.	Derivar la relación entre la profundidad inicial (y1) y secuente (y2) en un salto hidráulico (Eq.
Note that the sequent depth y2 is always smaller than the high alternate depth y2' (Fig.	Cabe mencionar que la profundidad secuente y2 es siempre menor que la profundidad alterna alta y2' (Fig.
The first lines contain each of the formulas which are written in the left part of the sequent.	Las primeras líneas contienen cada una de las fórmulas que hay en la parte izquierda del secuente.
Actually, we don't have any formula which we know it's true (as the left part of the sequent is empty).	En realidad, no tenemos ninguna fórmula que sepamos que sea cierta (el lado izquierdo del secuente está vacío).
Calculate the energy loss in a hydraulic jump, given the sequent depths y1 = 0.58 m and y2 = 2.688 m.	Calcular la pérdida de energía en un salto hidráulico, dadas las profundidades secuentes y1 = 0.58 m y y2 = 2.688 m.
Leave this box blank if you want the program to use a value equal to three times the sequent depth [3 * y2].	Deje este cuadro en blanco si desea que el programa utilice un valor igual a tres veces la profundidad secuente [3 * y2].
The specific energy E1 at the initial depth y1 is greater than the specific energy E2 at the sequent depth y2.	La energía específica E1 en la profundidad inicial y1 es mayor que la energía específica E2 en la profundidad secuente y2.
And the second main change, sequent from the first one, is, that I was able to stitch all 6 panels before glueing.	El segundo cambio, resultado del primero, fue que pude coser los 6 paneles antes de pegarlos, lo cual hice.
Natural deduction is used to try to prove that some reasoning is correct (`` to check the validity of a sequent '', says theory).	La deducción natural sirve para intentar demostrar que un razonamiento es correcto (`` para comprobar la validez de un secuente '', dice la teoría).
The procedure finishes when we discover that it's true the formula at the right side of the sequent, in this case (it appears at the last line).	El procedimiento acaba cuando descubrimos que es cierto lo de la derecha del secuente, en este caso (sale en la última línea).
We are in this situation: we have sequent, and we think that there exists a model (set of values) which make true - gamma - but not.	Estamos en este caso: tenemos el secuente, y creemos que hay un modelo (conjunto de valores) que hace cierto a - gamma - pero no a.
The flow depth before the jump is called the initial depth y1, while the flow after the jump is called the sequent depth y2.	La profundidad de flujo aguas arriba del salto se llama profundidad inicial y1, y aguas abajo se llama profundidad secuente y2.
Alternatively, if the input flow depth box is left blank, the program will use a value equal to three times the sequent depth (3 * y2) instead.	Alternativamente, si la profundidad de flujo se deja en blanco, el programa utilizará un valor igual a tres veces la profundidad secuente (3 * y2) en su lugar.
If the value calculated in Step 5 is the same as that assumed in Step 1 (within a certain tolerance), stop and report the sequent depths.	Si el valor calculado en el Paso 5 es el mismo que el asumido en el Paso 1 (dentro de una cierta tolerancia), terminar y reportar las profundidades secuentes.
Use ONLINE CHANNEL 11 to calculate the sequent depth y2 through a hydraulic jump when the discharge is q = 5 m2/s and the initial depth y1 = 0.58 m.	Usar CANAL EN LÍNEA 11 para calcular la profundidad secuente y2 a través de un salto hidráulico, dadas la descarga q = 5 m2/s y la profundidad inicial y1 = 0.58 m.