##  [Formula](/formula-0) 

 Definition

A finite syntactic expression in a formal language built from symbols, logical connectives, quantifiers, predicate or function symbols, variables, and parentheses according to the formation rules of that language.

 

 

 

 

 

 





## Principle

Principle

Adhere to the grammar and formation rules of the chosen formal language so that the expression is well‑formed (a well‑formed formula) and can be manipulated symbolically, parsed, or assigned semantics in a structure.

 

 

 

 

 





## Demonstration

Demonstration

In first‑order logic, ∀x (P(x) → Q(f(x,a))) is a formula constructed from quantifier ∀, predicate symbols P,Q, function symbol f, variable x and constant a following formation rules.

 

 

 

 

## Misapplication

Misapplication

Treating an arbitrary string like '∧x P)' as a formula despite mismatched parentheses or malformed quantifier scope, leading to parsing errors and invalid deductions.

 

 

 

 

 





## Consequence

Consequence

Well‑formed formulas can be parsed, transformed by inference rules, evaluated under interpretations, and used to state axioms, theorems, or queries within formal systems.

 

 

 

 

## Reversal

Reversal

The reversal is the meta‑linguistic level: natural language descriptions or informal claims about the system rather than the syntactic symbol that encodes them; moving from a formula to its meta‑statement changes layer and role.

 

 

 

 

 





## Boundary

Boundary

A formula is a syntactic object and may contain free variables; it does not by itself carry a truth value unless closed and interpreted in a structure; it excludes semantic content beyond what interpretation provides.

 

 

 

 

 





## Semantic Tension

Semantic Tension

Tension appears between 'formula' (a syntactic construction) and 'sentence' (a closed formula with truth value); users sometimes conflate syntactic well‑formedness with semantic truth.

 

 

 

 

 





## Synthesis

Synthesis

A formula is a finite, grammar‑conforming symbolic expression of a formal language that serves as the basic unit for syntactic manipulation and, when interpreted or closed, for semantic evaluation.