From ProofWiki
Jump to navigation Jump to search

This category contains definitions related to Parenthesis.
Related results can be found in Category:Parenthesis.

Parenthesis is a syntactical technique to disambiguate the meaning of a logical formula.

It allows one to specify that a logical formula should (temporarily) be regarded as being a single entity, being on the same level as a statement variable.

Such a formula is referred to as being in parenthesis.

Typically, a formal language, in defining its formal grammar, ensures by means of parenthesis that all of its well-formed words are uniquely readable.

Generally, brackets are used to indicate that certain formulas are in parenthesis.

The brackets that are mostly used are round ones, the left (round) bracket $($ and the right (round) bracket $)$.

Pages in category "Definitions/Parenthesis"

The following 3 pages are in this category, out of 3 total.