Sentence examples for formula equivalent to from inspiring English sources

Under this interpretation there is no formula equivalent to the Ockhamist \ Fp,\) which is regarded as undetermined.

where A0 = p and π0 = π and proved that for all n ≥ 0, there is no PDLn formula equivalent to An+1.

Nor, incidentally, could the intuitionist acknowledge the existence of a right inverse for negation, a # with arbitrary φ equivalent to ¬ # φ, as this makes every formula equivalent to a negated formula and hence to its own double negation.

Patients with stage IIIB or IV NSCLC and WHO performance status (PS) 0 2 were randomised to receive three (C3) or six (C6) courses of carboplatin (area under the curve (AUC) 4, Chatelut's formula, equivalent to Calvert's AUC 5) on day 1 and vinorelbine 25 mg m−2 on days 1 and 8 of a 3-week cycle.

We also give a partial answer to the question for exponential growth of the size of first-order formulas equivalent to circumscription.

Now the loose summary just given to the effect that every formula is equivalent to an equivalence makes a misleading double use of the equivalence vocabulary for two different things: equivalence as mutual consequence and equivalence as the biconditional connective.

Examples (1) We have seen ζ T ( z ) = ( 1 + z ) / ( 1 − z ) for reflections and ζ ( z ) = 1 for rotations so that ζ C n ( z ) = ( 1 + z 1 − z ) n. (2) If G has a trivial automorphism group, the product formula is equivalent to the Euler-Poincaré formula and ζ G ( z ) = ζ Id ( z ) = ( 1 − z ) − χ ( G ). (3) For the complete graph K n, we have ζ G ( z ) = ( 1 − z ) − n !

The resulting formula is equivalent to the rule of the majority.

Thus, in particular, satisfiability of a formula becomes equivalent to non-emptiness of the language of the automaton associated with that formula.

Mr. Anair said that 35.5 miles per gallon under the CAFE formula was equivalent to about 27 m.p.g.

One of the longest studies tracked infants from birth to 39 months and found that the I.Q.'s of children who used the enhanced formula were equivalent to those of children who were fed with breast milk, which is widely considered to be the best nourishment for newborns.