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