preplogic

Notes for the course "elementary logic"
git clone https://git.tronto.net/preplogic
Download | Log | Files | Refs | README

preplogic-slides.out (231B)

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