From 7862d4e51530dc1d97fb20b63060d017f04b6a24 Mon Sep 17 00:00:00 2001 From: Sebastiano Tronto Date: Sun, 6 Sep 2020 19:29:27 +0200 Subject: Added exercises and some pages to the slides --- slides/preplogic-slides.aux | 40 +++++++++---------- slides/preplogic-slides.fdb_latexmk | 18 ++++----- slides/preplogic-slides.fls | 2 +- slides/preplogic-slides.log | 74 ++++++++++++++++++------------------ slides/preplogic-slides.nav | 38 +++++++++--------- slides/preplogic-slides.pdf | Bin 363451 -> 364862 bytes slides/preplogic-slides.synctex.gz | Bin 89030 -> 90792 bytes slides/preplogic-slides.tex | 29 +++++++++++--- slides/preplogic-slides.toc | 2 +- 9 files changed, 110 insertions(+), 93 deletions(-) (limited to 'slides') diff --git a/slides/preplogic-slides.aux b/slides/preplogic-slides.aux index 70bc721..d51ee85 100644 --- a/slides/preplogic-slides.aux +++ b/slides/preplogic-slides.aux @@ -76,26 +76,26 @@ \@writefile{nav}{\headcommand {\beamer@framepages {42}{42}}} \@writefile{nav}{\headcommand {\slideentry {4}{0}{3}{43/45}{}{0}}} \@writefile{nav}{\headcommand {\beamer@framepages {43}{45}}} -\@writefile{nav}{\headcommand {\slideentry {4}{0}{4}{46/46}{}{0}}} -\@writefile{nav}{\headcommand {\beamer@framepages {46}{46}}} -\@writefile{toc}{\beamer@sectionintoc {5}{Proofs}{47}{0}{5}} -\@writefile{nav}{\headcommand {\beamer@sectionpages {40}{46}}} -\@writefile{nav}{\headcommand {\beamer@subsectionpages {40}{46}}} -\@writefile{nav}{\headcommand {\sectionentry {5}{Proofs}{47}{Proofs}{0}}} -\@writefile{nav}{\headcommand {\slideentry {5}{0}{1}{47/50}{}{0}}} -\@writefile{nav}{\headcommand {\beamer@framepages {47}{50}}} -\@writefile{nav}{\headcommand {\slideentry {5}{0}{2}{51/55}{}{0}}} -\@writefile{nav}{\headcommand {\beamer@framepages {51}{55}}} -\@writefile{nav}{\headcommand {\slideentry {5}{0}{3}{56/57}{}{0}}} -\@writefile{nav}{\headcommand {\beamer@framepages {56}{57}}} -\@writefile{nav}{\headcommand {\slideentry {5}{0}{4}{58/64}{}{0}}} -\@writefile{nav}{\headcommand {\beamer@framepages {58}{64}}} -\@writefile{nav}{\headcommand {\slideentry {5}{0}{5}{65/66}{}{0}}} -\@writefile{nav}{\headcommand {\beamer@framepages {65}{66}}} -\@writefile{nav}{\headcommand {\slideentry {5}{0}{6}{67/71}{}{0}}} -\@writefile{nav}{\headcommand {\beamer@framepages {67}{71}}} +\@writefile{toc}{\beamer@sectionintoc {5}{Proofs}{46}{0}{5}} +\@writefile{nav}{\headcommand {\beamer@sectionpages {40}{45}}} +\@writefile{nav}{\headcommand {\beamer@subsectionpages {40}{45}}} +\@writefile{nav}{\headcommand {\sectionentry {5}{Proofs}{46}{Proofs}{0}}} +\@writefile{nav}{\headcommand {\slideentry {5}{0}{1}{46/49}{}{0}}} +\@writefile{nav}{\headcommand {\beamer@framepages {46}{49}}} +\@writefile{nav}{\headcommand {\slideentry {5}{0}{2}{50/54}{}{0}}} +\@writefile{nav}{\headcommand {\beamer@framepages {50}{54}}} +\@writefile{nav}{\headcommand {\slideentry {5}{0}{3}{55/56}{}{0}}} +\@writefile{nav}{\headcommand {\beamer@framepages {55}{56}}} +\@writefile{nav}{\headcommand {\slideentry {5}{0}{4}{57/63}{}{0}}} +\@writefile{nav}{\headcommand {\beamer@framepages {57}{63}}} +\@writefile{nav}{\headcommand {\slideentry {5}{0}{5}{64/65}{}{0}}} +\@writefile{nav}{\headcommand {\beamer@framepages {64}{65}}} +\@writefile{nav}{\headcommand {\slideentry {5}{0}{6}{66/70}{}{0}}} +\@writefile{nav}{\headcommand {\beamer@framepages {66}{70}}} +\@writefile{nav}{\headcommand {\slideentry {5}{0}{7}{71/71}{}{0}}} +\@writefile{nav}{\headcommand {\beamer@framepages {71}{71}}} \@writefile{nav}{\headcommand {\beamer@partpages {1}{71}}} -\@writefile{nav}{\headcommand {\beamer@subsectionpages {47}{71}}} -\@writefile{nav}{\headcommand {\beamer@sectionpages {47}{71}}} +\@writefile{nav}{\headcommand {\beamer@subsectionpages {46}{71}}} +\@writefile{nav}{\headcommand {\beamer@sectionpages {46}{71}}} \@writefile{nav}{\headcommand {\beamer@documentpages {71}}} \@writefile{nav}{\headcommand {\gdef \inserttotalframenumber {29}}} diff --git a/slides/preplogic-slides.fdb_latexmk b/slides/preplogic-slides.fdb_latexmk index 6819258..b01ff7a 100644 --- a/slides/preplogic-slides.fdb_latexmk +++ b/slides/preplogic-slides.fdb_latexmk @@ -1,5 +1,5 @@ # Fdb version 3 -["pdflatex"] 1599409436 "preplogic-slides.tex" "preplogic-slides.pdf" "preplogic-slides" 1599409441 +["pdflatex"] 1599412181 "preplogic-slides.tex" "preplogic-slides.pdf" "preplogic-slides" 1599412185 "/usr/share/texmf-dist/fonts/map/fontname/texfonts.map" 1594687104 3524 cb3e574dea2d1052e39280babc910dc8 "" "/usr/share/texmf-dist/fonts/map/pdftex/updmap/pdftex.map" 1594687104 4851843 f8aac22e46e9a458223e5c13b1e20998 "" "/usr/share/texmf-dist/fonts/tfm/public/amsfonts/cmextra/cmex7.tfm" 1594687104 1004 54797486969f23fa377b128694d548df "" @@ -204,17 +204,17 @@ "/usr/share/texmf-dist/tex/latex/xcolor/xcolor.sty" 1594687104 55589 34128738f682d033422ca125f82e5d62 "" "/usr/share/texmf-dist/web2c/texmf.cnf" 1597672114 39446 755423e82e7afb756f49b242a15f4ec2 "" "/usr/share/texmf-var/web2c/pdftex/pdflatex.fmt" 1598712773 2434818 64d78922a5d2a9baf6bf1beec95a9374 "" - "preplogic-slides.aux" 1599409440 6068 50b72b0885ae780ffcd7f1e76f21d7ac "pdflatex" - "preplogic-slides.nav" 1599409440 3672 7a02b80ee1eb79ed6628b6b44b98f41e "pdflatex" - "preplogic-slides.out" 1599409440 231 deb4a29a1afc0897b65a37cc63a87407 "pdflatex" - "preplogic-slides.tex" 1599409430 13551 0585e4bf0bb5c04ed9dea539aaf36342 "" - "preplogic-slides.toc" 1599409440 240 82b64b5af661cb4f9fe5c48ed162b693 "pdflatex" + "preplogic-slides.aux" 1599412185 6068 0cd160fad86cda8453c8a27f21ba7a8b "pdflatex" + "preplogic-slides.nav" 1599412185 3672 0800028632c9a7b0abd7c91d24b51be9 "pdflatex" + "preplogic-slides.out" 1599412185 231 deb4a29a1afc0897b65a37cc63a87407 "pdflatex" + "preplogic-slides.tex" 1599412180 14004 9f55841449bbd22b45df126f77402832 "" + "preplogic-slides.toc" 1599412185 240 128cdf304ee282775db2a41da35e3a3e "pdflatex" "unilu.jpg" 1554272896 41957 a77f6a50964dc93c1a7378a3852a421d "" (generated) - "preplogic-slides.nav" "preplogic-slides.toc" - "preplogic-slides.aux" - "preplogic-slides.out" "preplogic-slides.snm" + "preplogic-slides.out" + "preplogic-slides.aux" + "preplogic-slides.nav" "preplogic-slides.pdf" "preplogic-slides.log" diff --git a/slides/preplogic-slides.fls b/slides/preplogic-slides.fls index c40b481..cfad114 100644 --- a/slides/preplogic-slides.fls +++ b/slides/preplogic-slides.fls @@ -449,9 +449,9 @@ INPUT unilu.jpg INPUT ./unilu.jpg INPUT unilu.jpg INPUT ./unilu.jpg +INPUT /usr/share/texmf-dist/fonts/tfm/public/cm/cmssbx10.tfm INPUT unilu.jpg INPUT ./unilu.jpg -INPUT /usr/share/texmf-dist/fonts/tfm/public/cm/cmssbx10.tfm INPUT unilu.jpg INPUT ./unilu.jpg INPUT unilu.jpg diff --git a/slides/preplogic-slides.log b/slides/preplogic-slides.log index eb2b9e7..ed1edf2 100644 --- a/slides/preplogic-slides.log +++ b/slides/preplogic-slides.log @@ -1,4 +1,4 @@ -This is pdfTeX, Version 3.14159265-2.6-1.40.21 (TeX Live 2020/VoidLinux) (preloaded format=pdflatex 2020.8.29) 6 SEP 2020 18:23 +This is pdfTeX, Version 3.14159265-2.6-1.40.21 (TeX Live 2020/VoidLinux) (preloaded format=pdflatex 2020.8.29) 6 SEP 2020 19:09 entering extended mode restricted \write18 enabled. file:line:error style messages enabled. @@ -977,203 +977,203 @@ Package pdftex.def Info: unilu.jpg used on input line 376. ] File: unilu.jpg Graphic file (type jpg) -Package pdftex.def Info: unilu.jpg used on input line 394. +Package pdftex.def Info: unilu.jpg used on input line 403. (pdftex.def) Requested size: 41.93689pt x 37.58171pt. [43 ] File: unilu.jpg Graphic file (type jpg) -Package pdftex.def Info: unilu.jpg used on input line 394. +Package pdftex.def Info: unilu.jpg used on input line 403. (pdftex.def) Requested size: 41.93689pt x 37.58171pt. [44 ] File: unilu.jpg Graphic file (type jpg) -Package pdftex.def Info: unilu.jpg used on input line 394. +Package pdftex.def Info: unilu.jpg used on input line 403. (pdftex.def) Requested size: 41.93689pt x 37.58171pt. [45 ] File: unilu.jpg Graphic file (type jpg) -Package pdftex.def Info: unilu.jpg used on input line 398. +Package pdftex.def Info: unilu.jpg used on input line 420. (pdftex.def) Requested size: 41.93689pt x 37.58171pt. [46 ] File: unilu.jpg Graphic file (type jpg) -Package pdftex.def Info: unilu.jpg used on input line 415. +Package pdftex.def Info: unilu.jpg used on input line 420. (pdftex.def) Requested size: 41.93689pt x 37.58171pt. [47 ] File: unilu.jpg Graphic file (type jpg) -Package pdftex.def Info: unilu.jpg used on input line 415. +Package pdftex.def Info: unilu.jpg used on input line 420. (pdftex.def) Requested size: 41.93689pt x 37.58171pt. [48 ] File: unilu.jpg Graphic file (type jpg) -Package pdftex.def Info: unilu.jpg used on input line 415. +Package pdftex.def Info: unilu.jpg used on input line 420. (pdftex.def) Requested size: 41.93689pt x 37.58171pt. [49 ] File: unilu.jpg Graphic file (type jpg) -Package pdftex.def Info: unilu.jpg used on input line 415. +Package pdftex.def Info: unilu.jpg used on input line 441. (pdftex.def) Requested size: 41.93689pt x 37.58171pt. [50 ] File: unilu.jpg Graphic file (type jpg) -Package pdftex.def Info: unilu.jpg used on input line 436. +Package pdftex.def Info: unilu.jpg used on input line 441. (pdftex.def) Requested size: 41.93689pt x 37.58171pt. [51 ] File: unilu.jpg Graphic file (type jpg) -Package pdftex.def Info: unilu.jpg used on input line 436. +Package pdftex.def Info: unilu.jpg used on input line 441. (pdftex.def) Requested size: 41.93689pt x 37.58171pt. [52 ] File: unilu.jpg Graphic file (type jpg) -Package pdftex.def Info: unilu.jpg used on input line 436. +Package pdftex.def Info: unilu.jpg used on input line 441. (pdftex.def) Requested size: 41.93689pt x 37.58171pt. [53 ] File: unilu.jpg Graphic file (type jpg) -Package pdftex.def Info: unilu.jpg used on input line 436. +Package pdftex.def Info: unilu.jpg used on input line 441. (pdftex.def) Requested size: 41.93689pt x 37.58171pt. [54 ] File: unilu.jpg Graphic file (type jpg) -Package pdftex.def Info: unilu.jpg used on input line 436. +Package pdftex.def Info: unilu.jpg used on input line 459. (pdftex.def) Requested size: 41.93689pt x 37.58171pt. [55 ] File: unilu.jpg Graphic file (type jpg) -Package pdftex.def Info: unilu.jpg used on input line 454. +Package pdftex.def Info: unilu.jpg used on input line 459. (pdftex.def) Requested size: 41.93689pt x 37.58171pt. [56 ] File: unilu.jpg Graphic file (type jpg) -Package pdftex.def Info: unilu.jpg used on input line 454. +Package pdftex.def Info: unilu.jpg used on input line 483. (pdftex.def) Requested size: 41.93689pt x 37.58171pt. [57 ] File: unilu.jpg Graphic file (type jpg) -Package pdftex.def Info: unilu.jpg used on input line 478. +Package pdftex.def Info: unilu.jpg used on input line 483. (pdftex.def) Requested size: 41.93689pt x 37.58171pt. [58 ] File: unilu.jpg Graphic file (type jpg) -Package pdftex.def Info: unilu.jpg used on input line 478. +Package pdftex.def Info: unilu.jpg used on input line 483. (pdftex.def) Requested size: 41.93689pt x 37.58171pt. [59 ] File: unilu.jpg Graphic file (type jpg) -Package pdftex.def Info: unilu.jpg used on input line 478. +Package pdftex.def Info: unilu.jpg used on input line 483. (pdftex.def) Requested size: 41.93689pt x 37.58171pt. [60 ] File: unilu.jpg Graphic file (type jpg) -Package pdftex.def Info: unilu.jpg used on input line 478. +Package pdftex.def Info: unilu.jpg used on input line 483. (pdftex.def) Requested size: 41.93689pt x 37.58171pt. [61 ] File: unilu.jpg Graphic file (type jpg) -Package pdftex.def Info: unilu.jpg used on input line 478. +Package pdftex.def Info: unilu.jpg used on input line 483. (pdftex.def) Requested size: 41.93689pt x 37.58171pt. [62 ] File: unilu.jpg Graphic file (type jpg) -Package pdftex.def Info: unilu.jpg used on input line 478. +Package pdftex.def Info: unilu.jpg used on input line 483. (pdftex.def) Requested size: 41.93689pt x 37.58171pt. [63 ] File: unilu.jpg Graphic file (type jpg) -Package pdftex.def Info: unilu.jpg used on input line 478. +Package pdftex.def Info: unilu.jpg used on input line 500. (pdftex.def) Requested size: 41.93689pt x 37.58171pt. [64 ] File: unilu.jpg Graphic file (type jpg) -Package pdftex.def Info: unilu.jpg used on input line 495. +Package pdftex.def Info: unilu.jpg used on input line 500. (pdftex.def) Requested size: 41.93689pt x 37.58171pt. [65 ] File: unilu.jpg Graphic file (type jpg) -Package pdftex.def Info: unilu.jpg used on input line 495. +Package pdftex.def Info: unilu.jpg used on input line 529. (pdftex.def) Requested size: 41.93689pt x 37.58171pt. [66 ] File: unilu.jpg Graphic file (type jpg) -Package pdftex.def Info: unilu.jpg used on input line 524. +Package pdftex.def Info: unilu.jpg used on input line 529. (pdftex.def) Requested size: 41.93689pt x 37.58171pt. [67 ] File: unilu.jpg Graphic file (type jpg) -Package pdftex.def Info: unilu.jpg used on input line 524. +Package pdftex.def Info: unilu.jpg used on input line 529. (pdftex.def) Requested size: 41.93689pt x 37.58171pt. [68 ] File: unilu.jpg Graphic file (type jpg) -Package pdftex.def Info: unilu.jpg used on input line 524. +Package pdftex.def Info: unilu.jpg used on input line 529. (pdftex.def) Requested size: 41.93689pt x 37.58171pt. [69 ] File: unilu.jpg Graphic file (type jpg) -Package pdftex.def Info: unilu.jpg used on input line 524. +Package pdftex.def Info: unilu.jpg used on input line 529. (pdftex.def) Requested size: 41.93689pt x 37.58171pt. [70 ] File: unilu.jpg Graphic file (type jpg) -Package pdftex.def Info: unilu.jpg used on input line 524. +Package pdftex.def Info: unilu.jpg used on input line 540. (pdftex.def) Requested size: 41.93689pt x 37.58171pt. [71 @@ -1187,11 +1187,11 @@ Package pdftex.def Info: unilu.jpg used on input line 524. \tf@snm=\write8 \openout8 = `preplogic-slides.snm'. -Package atveryend Info: Empty hook `BeforeClearDocument' on input line 526. -Package atveryend Info: Empty hook `AfterLastShipout' on input line 526. +Package atveryend Info: Empty hook `BeforeClearDocument' on input line 543. +Package atveryend Info: Empty hook `AfterLastShipout' on input line 543. (./preplogic-slides.aux) -Package atveryend Info: Executing hook `AtVeryEndDocument' on input line 526. -Package atveryend Info: Executing hook `AtEndAfterFileList' on input line 526. +Package atveryend Info: Executing hook `AtVeryEndDocument' on input line 543. +Package atveryend Info: Executing hook `AtEndAfterFileList' on input line 543. Package rerunfilecheck Info: File `preplogic-slides.out' has not changed. (rerunfilecheck) Checksum: DEB4A29A1AFC0897B65A37CC63A87407;231. @@ -1202,13 +1202,13 @@ LaTeX Font Warning: Some font shapes were not available, defaults substituted. Here is how much of TeX's memory you used: 18146 strings out of 480478 343117 string characters out of 5905927 - 607445 words of memory out of 5000000 + 607433 words of memory out of 5000000 33570 multiletter control sequences out of 15000+600000 545011 words of font info for 70 fonts, out of 8000000 for 9000 1141 hyphenation exceptions out of 8191 - 54i,20n,63p,800b,908s stack positions out of 5000i,500n,10000p,200000b,80000s + 54i,20n,64p,800b,908s stack positions out of 5000i,500n,10000p,200000b,80000s -Output written on preplogic-slides.pdf (71 pages, 363451 bytes). +Output written on preplogic-slides.pdf (71 pages, 364862 bytes). PDF statistics: 2027 PDF objects out of 2073 (max. 8388607) 1904 compressed objects within 20 object streams diff --git a/slides/preplogic-slides.nav b/slides/preplogic-slides.nav index e7b544a..46ad078 100644 --- a/slides/preplogic-slides.nav +++ b/slides/preplogic-slides.nav @@ -54,25 +54,25 @@ \headcommand {\beamer@framepages {42}{42}} \headcommand {\slideentry {4}{0}{3}{43/45}{}{0}} \headcommand {\beamer@framepages {43}{45}} -\headcommand {\slideentry {4}{0}{4}{46/46}{}{0}} -\headcommand {\beamer@framepages {46}{46}} -\headcommand {\beamer@sectionpages {40}{46}} -\headcommand {\beamer@subsectionpages {40}{46}} -\headcommand {\sectionentry {5}{Proofs}{47}{Proofs}{0}} -\headcommand {\slideentry {5}{0}{1}{47/50}{}{0}} -\headcommand {\beamer@framepages {47}{50}} -\headcommand {\slideentry {5}{0}{2}{51/55}{}{0}} -\headcommand {\beamer@framepages {51}{55}} -\headcommand {\slideentry {5}{0}{3}{56/57}{}{0}} -\headcommand {\beamer@framepages {56}{57}} -\headcommand {\slideentry {5}{0}{4}{58/64}{}{0}} -\headcommand {\beamer@framepages {58}{64}} -\headcommand {\slideentry {5}{0}{5}{65/66}{}{0}} -\headcommand {\beamer@framepages {65}{66}} -\headcommand {\slideentry {5}{0}{6}{67/71}{}{0}} -\headcommand {\beamer@framepages {67}{71}} +\headcommand {\beamer@sectionpages {40}{45}} +\headcommand {\beamer@subsectionpages {40}{45}} +\headcommand {\sectionentry {5}{Proofs}{46}{Proofs}{0}} +\headcommand {\slideentry {5}{0}{1}{46/49}{}{0}} +\headcommand {\beamer@framepages {46}{49}} +\headcommand {\slideentry {5}{0}{2}{50/54}{}{0}} +\headcommand {\beamer@framepages {50}{54}} +\headcommand {\slideentry {5}{0}{3}{55/56}{}{0}} +\headcommand {\beamer@framepages {55}{56}} +\headcommand {\slideentry {5}{0}{4}{57/63}{}{0}} +\headcommand {\beamer@framepages {57}{63}} +\headcommand {\slideentry {5}{0}{5}{64/65}{}{0}} +\headcommand {\beamer@framepages {64}{65}} +\headcommand {\slideentry {5}{0}{6}{66/70}{}{0}} +\headcommand {\beamer@framepages {66}{70}} +\headcommand {\slideentry {5}{0}{7}{71/71}{}{0}} +\headcommand {\beamer@framepages {71}{71}} \headcommand {\beamer@partpages {1}{71}} -\headcommand {\beamer@subsectionpages {47}{71}} -\headcommand {\beamer@sectionpages {47}{71}} +\headcommand {\beamer@subsectionpages {46}{71}} +\headcommand {\beamer@sectionpages {46}{71}} \headcommand {\beamer@documentpages {71}} \headcommand {\gdef \inserttotalframenumber {29}} diff --git a/slides/preplogic-slides.pdf b/slides/preplogic-slides.pdf index 44c0113..e9bc6b7 100644 Binary files a/slides/preplogic-slides.pdf and b/slides/preplogic-slides.pdf differ diff --git a/slides/preplogic-slides.synctex.gz b/slides/preplogic-slides.synctex.gz index dab34a5..7394213 100644 Binary files a/slides/preplogic-slides.synctex.gz and b/slides/preplogic-slides.synctex.gz differ diff --git a/slides/preplogic-slides.tex b/slides/preplogic-slides.tex index 5194ebf..dc68c1f 100644 --- a/slides/preplogic-slides.tex +++ b/slides/preplogic-slides.tex @@ -350,7 +350,7 @@ Mathematician: ``Yes.'' \begin{itemize} \item \textbf{Universal quantifier} ($\forall$ or ``for all''): - ``$\forall x\in S,\,A(x)$'' means that if we replace $x$ with any + ``$\forall x\in S,\,A(x)$'' means that if we replace ``$x$'' with any element of $S$, $A(x)$ is always \textbf{true}. \item \textbf{Existential quantifier} ($\exists$ or ``there exists''): ``$\exists x\in S,\, A(x)$'' means that $A(x)$ is \textbf{true} for @@ -385,16 +385,21 @@ Mathematician: ``Yes.'' \neg(\exists x\in S,\, A(x))&=\only<1-2>{\quad?} \onslide<3->{\forall x\in S,\,\neg A(x)}\\ \end{align*} - \pause + \onslide<2->{ \begin{example} \begin{center} $\neg$``every number is even'' = ``there is at least one odd number'' \end{center} \end{example} -\end{frame} - -\begin{frame} - (exercise) + } + \onslide<3->{ + \begin{example} + \begin{center} + $\neg$``$\exists x\in \mathbb N,\, x+3=9$'' = + ``$\forall x\in \mathbb N,\, x+3\neq 9$'' + \end{center} + \end{example} + } \end{frame} \section{Proofs} @@ -523,4 +528,16 @@ Mathematician: ``Yes.'' \end{proof} \end{frame} +\begin{frame}{The end} + What you have learned in this course: + \begin{itemize} + \item Basic logic operations and logic implication + \item Quantifiers and \textbf{their negation} + \item Some basic mathematical proofs + \end{itemize} + \vspace{10pt} + \refgithub +\end{frame} + + \end{document} diff --git a/slides/preplogic-slides.toc b/slides/preplogic-slides.toc index 1dc8678..80170ac 100644 --- a/slides/preplogic-slides.toc +++ b/slides/preplogic-slides.toc @@ -2,4 +2,4 @@ \beamer@sectionintoc {2}{Logical operations}{11}{0}{2} \beamer@sectionintoc {3}{Implication}{28}{0}{3} \beamer@sectionintoc {4}{Quantifiers}{40}{0}{4} -\beamer@sectionintoc {5}{Proofs}{47}{0}{5} +\beamer@sectionintoc {5}{Proofs}{46}{0}{5} -- cgit v1.3