Sentence examples for be a formula of from inspiring English sources

"Against [X]" can be a formula of grandiose and ambitious oppositionality, with exile and civic death for all foes its implied goal.

Let φ be a formula of LK.

Define a closure of φ to be a formula of LK without free variables obtained by prefixing any string of boxes and universal quantifiers, in any order, to φ. Modus Ponens (MP): ψ follows from φ → ψ and φ Definition: φ is a theorem of KQML if it is an axiom of KQML or follows from other theorems of KQML by Modus Ponens.

"It can be a formula for this kind of disaster".

"The triple talaq is a formula of repudiation," she writes.

The triple talaq is a formula of repudiation.

(This is a formula of the Chinese dynastic revolution called chanrang, which means the peaceful shift in rule from a decadent dynasty to a more-virtuous one).

"Every logo is a formula of type face, structure, color, etc," explained Saar.

$A$ is a formula of $\mathcal{ L}^\Sigma}$ if and only if either (i) $A$ is a form of $\mathcal{\Sigma}gma}$ or (if) $andis $\lnonly$, where $B$ if a formula of $\mathcal{L}^{\Sigma}$ or (iii) $A$ is $(B \rightarrow C)$, wheither$ and $C$ are each formulas of $\mathcal{L}^{\Sigma}$A$r (is) $a$ is $\Sigma \alpha \ B$, where $B$ is a formula of $\mathcal{ L}^\Sigma}$.

An L-quasiequation is a formula of the above form but possibly with an empty antecedent, in which case it is just the equation φ ≈ ψ.

When we move to M′, we find that there is a formula of the enriched language that defines such a subset in M′.