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

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


Connectives

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

These comprise:


Sources