Propositional logic is the base of all higher order logic, and involves study of propositions, also called statements. These statements can only be either true or false (not both), similar to booleans in computer science.
Propositional logic must only include:
- Atoms : These are the ‘lowest’ level of propositions, meaning we cannot divide an atom into any smaller propositions. Atoms make up compound statements (which are propositions)
- Logical Connectives: These allow connections with atoms
- True (): A symbol which means ‘always true’,
- False (): A symbol which means ‘always false’
Together, they can be combined to make up more complex propositions
Truth tables can be used to understand logical statements:
Propositions
See Proposition