Definition:Language of Propositional Logic/Alphabet/Sign/Bracket
Jump to navigation Jump to search
|\(\ds \bullet \ \ \)||\(\ds (\)||\(:\)||\(\ds \)the left bracket sign\(\)|
|\(\ds \bullet \ \ \)||\(\ds )\)||\(:\)||\(\ds \)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.