Definition:Statement Form

From ProofWiki
Jump to navigation Jump to search


A statement form is a symbolic representation of a compound statement.

It consists of statement variables along with logical connectives joining them.

It is traditional, particularly in the field of mathematical logic, to use lowercase Greek letters to stand for general formulas (the usual ones being $\phi, \psi$ and $\chi$), but more modern treatments are starting to use ordinary lowercase letters of the English alphabet, usually $p, q, r$ etc.

Specific Form

The specific form of a given statement is that propositional formula from which the statement form results from replacing each distinct statement variable by a different simple statement.

Also known as

There are various names for this concept, for example:

  • statement scheme or schema
  • symbolic sentence
  • logical form.

When discussing propositional logic, the terms logical formula or propositional formula are also used.

Also see