Uses em dashes in propositional logic epigraph
Properly formats references in propositional.tex
Formats references properly.

Before, ``Theorem'', ``Section'', etc. had been manually typed out each
time. This uses the new macros \secref{}, \thref{}, etc. to standardize
references.