Propositional Logic

P: a grizzly is a bear.

Q: a bear is a mammal.

R: a grizzly is a mammal.

P & Q -> R

Each proposition symbol represents an atomic statement.

Atomic statements can be combined with logical connectives to form compound statements.

~P, P & Q, P v Q, P = Q, P -> Q