\relax 
\@writefile{toc}{\contentsline {section}{\numberline {1}Propositions, Predicates, Axioms, Deductions, and Proofs}{1}}
\@writefile{toc}{\contentsline {section}{\numberline {2}Basic Proof Principles}{1}}