Module 1: Logic and Reasoning

Proposition

A declarative statement which is either TRUE ($\text{T}$) or FALSE ($\text{F}$).

Propositional Variable

A variable (such as $P$ or $Q$) that represents a proposition with an undetermined truth value.

Negation

A logical operation generally formed by introducing the word "not," denoted by $\sim P$ or $\neg P$ and read as "not $P$," which reverses the truth value of $P$.