Definition:Language of Propositional Logic/Alphabet/Sign/Connective

From ProofWiki
Jump to navigation Jump to search

Definition

The signs of the language of propositional logic include the 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