Definition:Language of Propositional Logic/Alphabet/Sign/Bracket
Jump to navigation
Jump to search
Definition
The signs of the language of propositional logic include the brackets:
\(\displaystyle \bullet \ \ \) | \(\displaystyle (\) | \(:\) | \(\displaystyle \)the left bracket sign\(\) | ||||||||||
\(\displaystyle \bullet \ \ \) | \(\displaystyle )\) | \(:\) | \(\displaystyle \)the right bracket sign\(\) |
These are used as parenthesis signs.
Also defined as
Some sources use square brackets: $[$ and $]$ instead of the round brackets $($ and $)$. No doubt there are sources which use a different shape. The choice is arbitrary.
Some treatments of propositional logic do not specify brackets at all, having constructed the rules of formation to make them unnecessary.
Sources
- 1965: E.J. Lemmon: Beginning Logic ... (previous) ... (next): $\S 2.1$: Formation Rules
- 1996: H. Jerome Keisler and Joel Robbin: Mathematical Logic and Computability ... (previous) ... (next): $\S 1.2$: Syntax of Propositional Logic
- 2000: Michael R.A. Huth and Mark D. Ryan: Logic in Computer Science: Modelling and reasoning about systems: $\S 1.3$