slides/preplogic-slides.out


1
2
3
4
5

\BOOKMARK [2][]{Outline0.1}{Statements}{}% 1
\BOOKMARK [2][]{Outline0.2}{Logical operations}{}% 2
\BOOKMARK [2][]{Outline0.3}{Implication}{}% 3
\BOOKMARK [2][]{Outline0.4}{Quantifiers}{}% 4
\BOOKMARK [2][]{Outline0.5}{Proofs}{}% 5