Tags: formula

compound-formula

See also

atomic-formula | formula

Definition

A compound-formula is a formula composed of other formulas.

Quotes

A compound formula (or complex formula, or molecule) is a formula that is composed of other, simpler formulas. Compound formulas are typically formed by prefixing a formula with negation (~), joining two or more statements together with a binary connective such as conjunction (∧), disjunction (v), or material implication (→), or by prefixing a formula with a quantifier (∃, ∀) or modal operator (\(\square\), \(\diamond\)). [Coo09, p. 55]

(…) A statement written in propositional logic is called a propositional formula, and is either:

  • an atomic formula, typically represented by a variable such as P, Q, or R; or

  • a compound formula, in which case it is built up using the above propositional connectives as summarised in Figure 1.1

There are two special atomic propositional formulae, true (representing the proposition which is always true) and false (representing the proposition which is always false).

The above define the syntax of the language of propositional formulae. (…) [MS13, p. 55]

Sources