Definition:Language of Propositional Logic/Alphabet/Sign/Bracket
Jump to navigation Jump to search
|\(\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.
- 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$