Lesson 1: Propositional Logic

A particular mode of reason viewed as valid or faulty

- Building blocks of logic

- Declarative sentence/statement

- Either true or false, but not both

Cannot be further subdivided

Two or more atomic propositions are combined using logical connectives

A branch of mathematical logic which studies the logical relationships

between propositions connected via logical connectives

- We use letters to denote ___

- p, q, r, s, ...

Symbol: ~ or ¬
Description: NOT

Symbol: ^
Description: AND

Symbol: v
Description: OR

Symbol: →
Description: If..., then...