Terminology of the Propositional Calculus

P, Q, R, P1, P2, ... , Q1, Q2, ..., R1, R2, ...

Atomic proposition: a statement that does not specifically contain substatements.

P: “It is raining.”

Q: “Neither did Jack eat nor did he drink.”

Compound proposition: A statement formed from one or more atomic propositions using logical connectives.

P v Q: Either it is raining, or neither did Jack eat nor did he drink.