Definition:Language of Propositional Logic/Alphabet/Sign

From ProofWiki
Jump to navigation Jump to search

Definition

The signs of the language of propositional logic come in two categories:


Brackets

\(\displaystyle \bullet \ \ \) \(\displaystyle (\) \(:\) \(\displaystyle \)the left bracket sign\(\)
\(\displaystyle \bullet \ \ \) \(\displaystyle )\) \(:\) \(\displaystyle \)the right bracket sign\(\)


Connectives

\(\displaystyle \bullet \ \ \) \(\displaystyle \land\) \(:\) \(\displaystyle \)the conjunction sign\(\)
\(\displaystyle \bullet \ \ \) \(\displaystyle \lor\) \(:\) \(\displaystyle \)the disjunction sign\(\)
\(\displaystyle \bullet \ \ \) \(\displaystyle \implies\) \(:\) \(\displaystyle \)the conditional sign\(\)
\(\displaystyle \bullet \ \ \) \(\displaystyle \iff\) \(:\) \(\displaystyle \)the biconditional sign\(\)
\(\displaystyle \bullet \ \ \) \(\displaystyle \neg\) \(:\) \(\displaystyle \)the negation sign\(\)
\(\displaystyle \bullet \ \ \) \(\displaystyle \top\) \(:\) \(\displaystyle \)the tautology sign\(\)
\(\displaystyle \bullet \ \ \) \(\displaystyle \bot\) \(:\) \(\displaystyle \)the contradiction sign\(\)

These comprise:


Sources