\relax 
\@writefile{toc}{\contentsline {section}{\numberline {1}Logical operations}{1}\protected@file@percent }
\@writefile{toc}{\contentsline {section}{\numberline {2}Implication}{1}\protected@file@percent }
\@writefile{toc}{\contentsline {section}{\numberline {3}Quantifiers}{2}\protected@file@percent }
\@writefile{toc}{\contentsline {section}{\numberline {4}Proofs}{2}\protected@file@percent }