P, Q = statements; propositions

T = True

F = False

¬ = negation; not

∧ = conjunction (and)

∨ = disjunction (or)

→ = conditional; implication

↔ = biconditional; equivalence

not = negative

{ } contains helpful advice

e q = equals

( ) e q grouping

/ e q slash = or

L: e q law of

| e q 1 / 4

. = 1

.. = 2

. . . = think for yourself