\relax 
\@writefile{toc}{\contentsline {section}{\numberline {1}Conjunction $\land $ Rules}{1}{}\protected@file@percent }
\@writefile{toc}{\contentsline {subsection}{\numberline {1.1}$\land $ Elim}{1}{}\protected@file@percent }
\@writefile{toc}{\contentsline {subsection}{\numberline {1.2}$\land $ Intro}{1}{}\protected@file@percent }
\@writefile{toc}{\contentsline {section}{\numberline {2}Disjunction $\lor $ Rules}{1}{}\protected@file@percent }
\@writefile{toc}{\contentsline {subsection}{\numberline {2.1}$\lor $ Intro}{1}{}\protected@file@percent }
\@writefile{toc}{\contentsline {subsection}{\numberline {2.2}$\lor $ Elim}{1}{}\protected@file@percent }
\@writefile{toc}{\contentsline {section}{\numberline {3}Conditional $\rightarrow $ Rules}{1}{}\protected@file@percent }
\@writefile{toc}{\contentsline {subsection}{\numberline {3.1}$\rightarrow $ Elim (\textit  {Modus Ponens})}{1}{}\protected@file@percent }
\@writefile{toc}{\contentsline {subsection}{\numberline {3.2}$\rightarrow $ Intro}{2}{}\protected@file@percent }
\@writefile{toc}{\contentsline {section}{\numberline {4}Biconditional $\leftrightarrow $ Rules}{2}{}\protected@file@percent }
\@writefile{toc}{\contentsline {subsection}{\numberline {4.1}$\leftrightarrow $ Intro}{2}{}\protected@file@percent }
\@writefile{toc}{\contentsline {subsection}{\numberline {4.2}$\leftrightarrow $ Elim}{2}{}\protected@file@percent }
\@writefile{toc}{\contentsline {section}{\numberline {5}Negation $\neg $ Rules}{2}{}\protected@file@percent }
\@writefile{toc}{\contentsline {subsection}{\numberline {5.1}$\neg $ Elim}{2}{}\protected@file@percent }
\@writefile{toc}{\contentsline {subsection}{\numberline {5.2}$\bot $ Intro}{2}{}\protected@file@percent }
\@writefile{toc}{\contentsline {subsection}{\numberline {5.3}$\neg $ Intro}{2}{}\protected@file@percent }
\@writefile{toc}{\contentsline {subsection}{\numberline {5.4}Explosions}{3}{}\protected@file@percent }
\@writefile{toc}{\contentsline {subsection}{\numberline {5.5}Tertium non datur}{3}{}\protected@file@percent }
\@writefile{toc}{\contentsline {section}{\numberline {6}New Additions}{3}{}\protected@file@percent }
\@writefile{toc}{\contentsline {subsection}{\numberline {6.1}Disjunctive Syllogism}{3}{}\protected@file@percent }
\@writefile{toc}{\contentsline {subsection}{\numberline {6.2}Modus Tollens}{3}{}\protected@file@percent }
\@writefile{toc}{\contentsline {section}{\numberline {7}Example Theorem Proofs}{3}{}\protected@file@percent }
\@writefile{toc}{\contentsline {subsection}{\numberline {7.1}Frege's Theorem}{3}{}\protected@file@percent }
\gdef \@abspage@last{3}