Propositional Logic (KR 1.1, 1.2)

Logic

• the basis of mathematical reasoning
• rules of logic specify the meaning of mathematical statements
• computing is about automating tasks

Propositions

Proposition: a declarative sentence that is either TRUE or FALSE

Contructing Propositions →

• propositional vairables: p, q, r, s, …
• The proposition that is always true is denoted by T and the prop that is always false is denoted by F

Compound Propositions: constructed from connnectives & other props

• Negation ¬ (Not)
• Conjunction ∧ (And)
• Disjunction ∨ (Or)
• Implication → (If, Then)
• Biconditional ↔ (IFF)

NEGATION

CONJUNCTION

DISJUNCTION