๐ 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