Sentence examples for implications equivalent to from inspiring English sources

Others on the Science list include advances in computation biology leading to the first "designer proteins" that promise medical and biological revolution, and the first metalense that has implications equivalent to the revolutionary development of the first 'natural' glass lenses centuries ago.

In the De Socio study, a correlation between the Framingham risk score and MS was observed, and patients with lipodystrophy had a higher Framingham risk score than patients without lipodystrophy, suggesting that the presence of lipodystrophy has metabolic implications equivalent to those of MS [ 42].

The bifunction h : Γ × R n → R ∪ is said to be η-pseudomonotone on Γ if, for any x, y ∈ Γ, h ( x ; η ( y, x ) ) ≥ 0 ⇒ h ( y ; η ( x, y ) ) ≤ 0. The above implication is equivalent to the following implication: h ( y ; η ( x, y ) ) > 0 ⇒ h ( x ; η ( y, x ) ) < 0. Next, we present some properties for pseudoinvexity.

This implication is equivalent to training the root of a TDMT (see Figure 4a).

For instance, over a classical base theory, compositionality for implication is equivalent to the principle of completeness, ∀A(T[A] ∨ T[¬A]).

In linear logic, this implication is equivalent to its contrapositive form: the type ¬β ⊸ ¬α can be lead to interpreting the same function as a process that transforms a demand for a value of type β into a demand for a value of type α (notice that this does not happen with functions of intuitionistic type since, for example, input argument may be vacuous) [Curien 2003].

This leads to a strong construal of the quantifiers which, as we have observed, essentially trivializes AC by rendering the antecedent of the implication constituting it essentially equivalent to the consequent.

rabbits is really just equivalent to its empirical implications, i.e., to the proposition that there are 800 lb.

The second group may then retort that if so, the same must hold for theories about electrons; but then theories about electrons are really just equivalent to their empirical implications, so that electrons drop out.

In other words, it may be fairly said that a given withdrawal must have been expressly authorized by Congress, or there must be that clear implication of congressional authority which is equivalent to express authority; and when such authority is wanting there can be no Executive withdrawal of lands from the operation of an act of Congress which would otherwise control.

As we have seen, much current work stems from the popular concept of the cellular wiring diagram, and hence by implication the role of evolution is equivalent to that of re-wiring a radio.