From 4ca009f025a29351bcf1160cd68d513f04687713 Mon Sep 17 00:00:00 2001
From: Sebastiano Tronto <sebastiano.tronto@gmail.com>
Date: Sun, 6 Sep 2020 18:04:41 +0200
Subject: First commit

---
 slides/preplogic-slides.toc | 10 ++++++++++
 1 file changed, 10 insertions(+)
 create mode 100644 slides/preplogic-slides.toc

(limited to 'slides/preplogic-slides.toc')

diff --git a/slides/preplogic-slides.toc b/slides/preplogic-slides.toc
new file mode 100644
index 0000000..58f0963
--- /dev/null
+++ b/slides/preplogic-slides.toc
@@ -0,0 +1,10 @@
+\beamer@sectionintoc {1}{Statements}{3}{0}{1}
+\beamer@sectionintoc {2}{Logical operations}{11}{0}{2}
+\beamer@subsectionintoc {2}{1}{Boolean algebra}{22}{0}{2}
+\beamer@subsectionintoc {2}{2}{Truth tables}{25}{0}{2}
+\beamer@sectionintoc {3}{Implication}{28}{0}{3}
+\beamer@sectionintoc {4}{Quantifiers}{39}{0}{4}
+\beamer@sectionintoc {5}{Proofs}{46}{0}{5}
+\beamer@subsectionintoc {5}{1}{Direct proofs}{50}{0}{5}
+\beamer@subsectionintoc {5}{2}{Proofs by contradiction}{55}{0}{5}
+\beamer@subsectionintoc {5}{3}{Proofs by induction}{64}{0}{5}
-- 
cgit v1.3