Definition of Subformula. Meaning of Subformula. Synonyms of Subformula

- connectives nor quantifiers, or equivalently a formula that has no strict subformulas. The precise form of atomic formulas depends on the formal system under...
- cut-free proofs comes from the subformula property: every formula in the end sequent of a cut-free proof is a subformula of one of the premises. This allows...
- variables, which are metalinguistic constructs, stand for any term or subformula of the system, which may or may not be required to satisfy certain conditions...
- from 51 and F {\displaystyle F} from 52 which both share some common subformula p {\displaystyle p} . The resolvent is formed as the disjunction of E...
- mathematical meanings, often for denoting specific mathematical functions and subformulas. Angle brackets or chevrons ⟨ ⟩ were the earliest type of bracket to...
- {\displaystyle Cpq} . In a conditional formula p → q {\displaystyle p\to q} , the subformula p {\displaystyle p} is referred to as the antecedent and q {\displaystyle...
- or trees. A well-founded partial order is defined on the structures ("subformula" for formulas, "sublist" for lists, and "subtree" for trees). The structural...
- any quantifier when a formula appears as a subformula of another. In other infinitary logics, a subformula may be in the scope of infinitely many quantifiers...
- quantified formula. A quantified formula must contain a bound variable and a subformula specifying a property of the referent of that variable. The most commonly...
- no logical connectives or equivalently a formula that has no strict subformulas. Atoms are thus the simplest well-formed formulas of the logic. Compound...