Sentence examples for formula is satisfied from inspiring English sources

For each of these cases, after formally defining the game setting, we characterise the complexity of a range of problems relating to Nash equilibria (e.g., the computation or the verification of existence of a Nash equilibrium or checking whether a given temporal formula is satisfied on some Nash equilibrium).

That is, the variation of a constant formula is satisfied.

and for the solution of (47), the following formula is satisfied (see [11]): (48).

An operation (odot:mathbf {a}timesmathbf{b}rightarrowmathbf{a}) such that for each (xin mathbf{a}), the following formula is satisfied: xodot ( delta_{1}astdelta_{2} ) = ( xodotdelta _{1} ) odotdelta_{2} for every choice of (delta_{1},delta_{2}inmathbf{b}).

Semantically, an existential quantifier on a variable x is just a logical operator that takes open formulas on x into truth values; the value is T if and only if the open formula is satisfied by at least one object in the quantifier's domain.

If the potential function (V(r)) satisfies the condition (int_{0}^{infty}r vert V(r)vert, drformula is satisfied: r^{1/2}varphi r,k,lambda)=A k,lambda)sin biggl[ kr- frac{pi}{2} biggl( lambda-frac{1}{2} biggr) +delta k,lambda) biggr] +o(1) for fixed ��, and k, and (rrightarrowinfty).

Now x=x is coextensive with both (x=x & E x) and (E!x → x=x), since all three formulas are satisfied by all members of D. Hence if co-extensive open formulas could be exchanged salva veritate, (t=t & E t) and (E t → t=t) would have the same truth value as t=t.

The links between the formulae of two consecutive design steps are formalized as a set of formula-transformations F, stating that : a CTL formula f is satisfied on a design at step i, iff F f) is satisfied on the design extended at step i+1.

In the interpolating case, formula (1) is satisfied.

A formula $A$ is satisfied in a model $\langle D, I\rangle$ by an assignment $s$ of objects to variables.

But there is a case where the target objects are not divided and the formula (13) is satisfied.