slides/preplogic-slides.toc


1
2
3
4
5

\beamer@sectionintoc {1}{Statements}{3}{0}{1}
\beamer@sectionintoc {2}{Logical operations}{11}{0}{2}
\beamer@sectionintoc {3}{Implication}{28}{0}{3}
\beamer@sectionintoc {4}{Quantifiers}{40}{0}{4}
\beamer@sectionintoc {5}{Proofs}{47}{0}{5}