From f0e201749eff213a0d9a9d3d5be6352dbaa38e26 Mon Sep 17 00:00:00 2001 From: Sebastiano Tronto Date: Sun, 6 Sep 2020 18:28:58 +0200 Subject: Updates, added README --- slides/preplogic-slides.out | 11 +++-------- 1 file changed, 3 insertions(+), 8 deletions(-) (limited to 'slides/preplogic-slides.out') diff --git a/slides/preplogic-slides.out b/slides/preplogic-slides.out index e4b7dc4..e185387 100644 --- a/slides/preplogic-slides.out +++ b/slides/preplogic-slides.out @@ -1,10 +1,5 @@ \BOOKMARK [2][]{Outline0.1}{Statements}{}% 1 \BOOKMARK [2][]{Outline0.2}{Logical operations}{}% 2 -\BOOKMARK [3][]{Outline0.2.1.22}{Boolean algebra}{Outline0.2}% 3 -\BOOKMARK [3][]{Outline0.2.2.25}{Truth tables}{Outline0.2}% 4 -\BOOKMARK [2][]{Outline0.3}{Implication}{}% 5 -\BOOKMARK [2][]{Outline0.4}{Quantifiers}{}% 6 -\BOOKMARK [2][]{Outline0.5}{Proofs}{}% 7 -\BOOKMARK [3][]{Outline0.5.1.50}{Direct proofs}{Outline0.5}% 8 -\BOOKMARK [3][]{Outline0.5.2.55}{Proofs by contradiction}{Outline0.5}% 9 -\BOOKMARK [3][]{Outline0.5.3.64}{Proofs by induction}{Outline0.5}% 10 +\BOOKMARK [2][]{Outline0.3}{Implication}{}% 3 +\BOOKMARK [2][]{Outline0.4}{Quantifiers}{}% 4 +\BOOKMARK [2][]{Outline0.5}{Proofs}{}% 5 -- cgit v1.3