diff options
| author | Sebastiano Tronto <sebastiano.tronto@gmail.com> | 2020-09-06 18:28:58 +0200 |
|---|---|---|
| committer | Sebastiano Tronto <sebastiano.tronto@gmail.com> | 2020-09-06 18:28:58 +0200 |
| commit | f0e201749eff213a0d9a9d3d5be6352dbaa38e26 (patch) | |
| tree | d77773ee2d911a9af80f16f73f3de0b99c694521 /slides/preplogic-slides.out | |
| parent | 4ca009f025a29351bcf1160cd68d513f04687713 (diff) | |
| download | preplogic-f0e201749eff213a0d9a9d3d5be6352dbaa38e26.tar.gz preplogic-f0e201749eff213a0d9a9d3d5be6352dbaa38e26.zip | |
Updates, added README
Diffstat (limited to 'slides/preplogic-slides.out')
| -rw-r--r-- | slides/preplogic-slides.out | 11 |
1 files changed, 3 insertions, 8 deletions
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 @@ | |||
| 1 | \BOOKMARK [2][]{Outline0.1}{Statements}{}% 1 | 1 | \BOOKMARK [2][]{Outline0.1}{Statements}{}% 1 |
| 2 | \BOOKMARK [2][]{Outline0.2}{Logical operations}{}% 2 | 2 | \BOOKMARK [2][]{Outline0.2}{Logical operations}{}% 2 |
| 3 | \BOOKMARK [3][]{Outline0.2.1.22}{Boolean algebra}{Outline0.2}% 3 | 3 | \BOOKMARK [2][]{Outline0.3}{Implication}{}% 3 |
| 4 | \BOOKMARK [3][]{Outline0.2.2.25}{Truth tables}{Outline0.2}% 4 | 4 | \BOOKMARK [2][]{Outline0.4}{Quantifiers}{}% 4 |
| 5 | \BOOKMARK [2][]{Outline0.3}{Implication}{}% 5 | 5 | \BOOKMARK [2][]{Outline0.5}{Proofs}{}% 5 |
| 6 | \BOOKMARK [2][]{Outline0.4}{Quantifiers}{}% 6 | ||
| 7 | \BOOKMARK [2][]{Outline0.5}{Proofs}{}% 7 | ||
| 8 | \BOOKMARK [3][]{Outline0.5.1.50}{Direct proofs}{Outline0.5}% 8 | ||
| 9 | \BOOKMARK [3][]{Outline0.5.2.55}{Proofs by contradiction}{Outline0.5}% 9 | ||
| 10 | \BOOKMARK [3][]{Outline0.5.3.64}{Proofs by induction}{Outline0.5}% 10 | ||