📄 Propositional Calculus
= the branch of symbolic logic that deals with statements and the relations between them, without examination of their content.
🔡 Alphabet
Variables
Examples:
- p, g, r…
- p’,p’, p’…
- p1, p2…
Junctions
- ∧ Conjunction
- ∨ Disjunction
- ≻≺ Exclusive Disjunction
- → Material Conditional
- ↔ Biconditional
- ¬ Negation
Brackets
- (), [], {}
Formation (syntax) rules
- Brackets: As many as necessary -> readability
- Truth-functions: The meaning of a junction
- Junctions: Defined by the conditions under which they are true/false