P, Q = statements; propositions

T = True

F = False

¬ = negation; not

∧ = conjunction (and)

∨ = disjunction (or)

→ = conditional; implication

↔ = biconditional; equivalence

not = negative

e q = equals

( ) e q grouping

C: e q category of

/ e q slash = or

L: e q law of

| e q 1 / 4

. . . = think for yourself