commit f0e201749eff213a0d9a9d3d5be6352dbaa38e26
parent 4ca009f025a29351bcf1160cd68d513f04687713
Author: Sebastiano Tronto <sebastiano.tronto@gmail.com>
Date: Sun, 6 Sep 2020 18:28:58 +0200
Updates, added README
Diffstat:
11 files changed, 297 insertions(+), 299 deletions(-)
diff --git a/README.md b/README.md
@@ -0,0 +1,10 @@
+# Elementary logic
+
+Here you can find the slides and the exercises for the course
+"Elementary Logic" (University of Luxembourg, PrepCamp 2020).
+
+For the slides, go in the ``slides'' folder and look for the file
+``preplogic-slides.pdf''.
+
+For the exercises, go in the ``exercises'' folder and look for the file
+``preplogic-exercises.pdf''.
diff --git a/slides/preplogic-slides.aux b/slides/preplogic-slides.aux
@@ -44,21 +44,15 @@
\@writefile{nav}{\headcommand {\beamer@framepages {18}{20}}}
\@writefile{nav}{\headcommand {\slideentry {2}{0}{6}{21/21}{}{0}}}
\@writefile{nav}{\headcommand {\beamer@framepages {21}{21}}}
-\@writefile{toc}{\beamer@subsectionintoc {2}{1}{Boolean algebra}{22}{0}{2}}
-\@writefile{nav}{\headcommand {\beamer@subsectionpages {11}{21}}}
-\@writefile{nav}{\headcommand {\beamer@subsectionentry {0}{2}{1}{22}{Boolean algebra}}}
-\@writefile{nav}{\headcommand {\slideentry {2}{1}{1}{22/24}{Boolean algebra}{0}}}
+\@writefile{nav}{\headcommand {\slideentry {2}{0}{7}{22/24}{}{0}}}
\@writefile{nav}{\headcommand {\beamer@framepages {22}{24}}}
-\@writefile{toc}{\beamer@subsectionintoc {2}{2}{Truth tables}{25}{0}{2}}
-\@writefile{nav}{\headcommand {\beamer@subsectionpages {22}{24}}}
-\@writefile{nav}{\headcommand {\beamer@subsectionentry {0}{2}{2}{25}{Truth tables}}}
-\@writefile{nav}{\headcommand {\slideentry {2}{2}{1}{25/26}{Truth tables}{0}}}
+\@writefile{nav}{\headcommand {\slideentry {2}{0}{8}{25/26}{}{0}}}
\@writefile{nav}{\headcommand {\beamer@framepages {25}{26}}}
-\@writefile{nav}{\headcommand {\slideentry {2}{2}{2}{27/27}{Truth tables}{0}}}
+\@writefile{nav}{\headcommand {\slideentry {2}{0}{9}{27/27}{}{0}}}
\@writefile{nav}{\headcommand {\beamer@framepages {27}{27}}}
\@writefile{toc}{\beamer@sectionintoc {3}{Implication}{28}{0}{3}}
\@writefile{nav}{\headcommand {\beamer@sectionpages {11}{27}}}
-\@writefile{nav}{\headcommand {\beamer@subsectionpages {25}{27}}}
+\@writefile{nav}{\headcommand {\beamer@subsectionpages {11}{27}}}
\@writefile{nav}{\headcommand {\sectionentry {3}{Implication}{28}{Implication}{0}}}
\@writefile{nav}{\headcommand {\slideentry {3}{0}{1}{28/30}{}{0}}}
\@writefile{nav}{\headcommand {\beamer@framepages {28}{30}}}
@@ -70,45 +64,38 @@
\@writefile{nav}{\headcommand {\beamer@framepages {35}{37}}}
\@writefile{nav}{\headcommand {\slideentry {3}{0}{5}{38/38}{}{0}}}
\@writefile{nav}{\headcommand {\beamer@framepages {38}{38}}}
-\@writefile{toc}{\beamer@sectionintoc {4}{Quantifiers}{39}{0}{4}}
-\@writefile{nav}{\headcommand {\beamer@sectionpages {28}{38}}}
-\@writefile{nav}{\headcommand {\beamer@subsectionpages {28}{38}}}
-\@writefile{nav}{\headcommand {\sectionentry {4}{Quantifiers}{39}{Quantifiers}{0}}}
-\@writefile{nav}{\headcommand {\slideentry {4}{0}{1}{39/40}{}{0}}}
-\@writefile{nav}{\headcommand {\beamer@framepages {39}{40}}}
-\@writefile{nav}{\headcommand {\slideentry {4}{0}{2}{41/41}{}{0}}}
-\@writefile{nav}{\headcommand {\beamer@framepages {41}{41}}}
-\@writefile{nav}{\headcommand {\slideentry {4}{0}{3}{42/44}{}{0}}}
-\@writefile{nav}{\headcommand {\beamer@framepages {42}{44}}}
-\@writefile{nav}{\headcommand {\slideentry {4}{0}{4}{45/45}{}{0}}}
-\@writefile{nav}{\headcommand {\beamer@framepages {45}{45}}}
-\@writefile{toc}{\beamer@sectionintoc {5}{Proofs}{46}{0}{5}}
-\@writefile{nav}{\headcommand {\beamer@sectionpages {39}{45}}}
-\@writefile{nav}{\headcommand {\beamer@subsectionpages {39}{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{toc}{\beamer@subsectionintoc {5}{1}{Direct proofs}{50}{0}{5}}
-\@writefile{nav}{\headcommand {\beamer@subsectionpages {46}{49}}}
-\@writefile{nav}{\headcommand {\beamer@subsectionentry {0}{5}{1}{50}{Direct proofs}}}
-\@writefile{nav}{\headcommand {\slideentry {5}{1}{1}{50/54}{Direct proofs}{0}}}
-\@writefile{nav}{\headcommand {\beamer@framepages {50}{54}}}
-\@writefile{toc}{\beamer@subsectionintoc {5}{2}{Proofs by contradiction}{55}{0}{5}}
-\@writefile{nav}{\headcommand {\beamer@subsectionpages {50}{54}}}
-\@writefile{nav}{\headcommand {\beamer@subsectionentry {0}{5}{2}{55}{Proofs by contradiction}}}
-\@writefile{nav}{\headcommand {\slideentry {5}{2}{1}{55/56}{Proofs by contradiction}{0}}}
-\@writefile{nav}{\headcommand {\beamer@framepages {55}{56}}}
-\@writefile{nav}{\headcommand {\slideentry {5}{2}{2}{57/63}{Proofs by contradiction}{0}}}
-\@writefile{nav}{\headcommand {\beamer@framepages {57}{63}}}
-\@writefile{toc}{\beamer@subsectionintoc {5}{3}{Proofs by induction}{64}{0}{5}}
-\@writefile{nav}{\headcommand {\beamer@subsectionpages {55}{63}}}
-\@writefile{nav}{\headcommand {\beamer@subsectionentry {0}{5}{3}{64}{Proofs by induction}}}
-\@writefile{nav}{\headcommand {\slideentry {5}{3}{1}{64/65}{Proofs by induction}{0}}}
-\@writefile{nav}{\headcommand {\beamer@framepages {64}{65}}}
-\@writefile{nav}{\headcommand {\slideentry {5}{3}{2}{66/70}{Proofs by induction}{0}}}
-\@writefile{nav}{\headcommand {\beamer@framepages {66}{70}}}
-\@writefile{nav}{\headcommand {\beamer@partpages {1}{70}}}
-\@writefile{nav}{\headcommand {\beamer@subsectionpages {64}{70}}}
-\@writefile{nav}{\headcommand {\beamer@sectionpages {46}{70}}}
-\@writefile{nav}{\headcommand {\beamer@documentpages {70}}}
-\@writefile{nav}{\headcommand {\gdef \inserttotalframenumber {28}}}
+\@writefile{nav}{\headcommand {\slideentry {3}{0}{6}{39/39}{}{0}}}
+\@writefile{nav}{\headcommand {\beamer@framepages {39}{39}}}
+\@writefile{toc}{\beamer@sectionintoc {4}{Quantifiers}{40}{0}{4}}
+\@writefile{nav}{\headcommand {\beamer@sectionpages {28}{39}}}
+\@writefile{nav}{\headcommand {\beamer@subsectionpages {28}{39}}}
+\@writefile{nav}{\headcommand {\sectionentry {4}{Quantifiers}{40}{Quantifiers}{0}}}
+\@writefile{nav}{\headcommand {\slideentry {4}{0}{1}{40/41}{}{0}}}
+\@writefile{nav}{\headcommand {\beamer@framepages {40}{41}}}
+\@writefile{nav}{\headcommand {\slideentry {4}{0}{2}{42/42}{}{0}}}
+\@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{nav}{\headcommand {\beamer@partpages {1}{71}}}
+\@writefile{nav}{\headcommand {\beamer@subsectionpages {47}{71}}}
+\@writefile{nav}{\headcommand {\beamer@sectionpages {47}{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
@@ -1,5 +1,5 @@
# Fdb version 3
-["pdflatex"] 1599407808 "preplogic-slides.tex" "preplogic-slides.pdf" "preplogic-slides" 1599407812
+["pdflatex"] 1599409436 "preplogic-slides.tex" "preplogic-slides.pdf" "preplogic-slides" 1599409441
"/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 ""
@@ -19,6 +19,7 @@
"/usr/share/texmf-dist/fonts/tfm/public/cm/cmr10.tfm" 1594687104 1296 45809c5a464d5f32c8f98ba97c1bb47f ""
"/usr/share/texmf-dist/fonts/tfm/public/cm/cmss10.tfm" 1594687104 1316 b636689f1933f24d1294acdf6041daaa ""
"/usr/share/texmf-dist/fonts/tfm/public/cm/cmss12.tfm" 1594687104 1324 37b971caf729d7edd9cbb9f9b0ea76eb ""
+ "/usr/share/texmf-dist/fonts/tfm/public/cm/cmss17.tfm" 1594687104 1320 ed93d62c5f2c16343826001f03341dbc ""
"/usr/share/texmf-dist/fonts/tfm/public/cm/cmss8.tfm" 1594687104 1296 d77f431d10d47c8ea2cc18cf45346274 ""
"/usr/share/texmf-dist/fonts/tfm/public/cm/cmss9.tfm" 1594687104 1320 49357c421c0d469f88b867dd0c3d10e8 ""
"/usr/share/texmf-dist/fonts/tfm/public/cm/cmssbx10.tfm" 1594687104 1272 e2d13f0df30bf3ad990bb9d028e37f34 ""
@@ -33,6 +34,7 @@
"/usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmmi10.pfb" 1594687104 36299 5f9df58c2139e7edcf37c8fca4bd384d ""
"/usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmss10.pfb" 1594687104 24457 5cbb7bdf209d5d1ce9892a9b80a307cc ""
"/usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmss12.pfb" 1594687104 24393 3b7eb51a67a0a62aec5849271bdb9c2e ""
+ "/usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmss17.pfb" 1594687104 24416 36515493f76659302880e2604105b074 ""
"/usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmss8.pfb" 1594687104 24420 52dbb8e8aa0069a1b987309557f8d303 ""
"/usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmss9.pfb" 1594687104 24373 a91d375736817a75026663adcb2190c1 ""
"/usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmssbx10.pfb" 1594687104 28902 2f5c04fd2884d1878057baa5aad22765 ""
@@ -202,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" 1599407812 7240 a288e64cc8fb4cb4f4072c7bc7e8ab9d "pdflatex"
- "preplogic-slides.nav" 1599407812 4313 22f77648aafe254c80d53e3aeac8280c "pdflatex"
- "preplogic-slides.out" 1599407812 564 a373f8fe6398d06e7f947047efb09783 "pdflatex"
- "preplogic-slides.tex" 1599407803 13407 c2fbe5e0e4b374767a3a4f6a122903c8 ""
- "preplogic-slides.toc" 1599407812 537 5ae99a050207d334da9ee776bbbd9e1d "pdflatex"
+ "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"
"unilu.jpg" 1554272896 41957 a77f6a50964dc93c1a7378a3852a421d ""
(generated)
- "preplogic-slides.log"
- "preplogic-slides.snm"
"preplogic-slides.nav"
- "preplogic-slides.out"
- "preplogic-slides.pdf"
"preplogic-slides.toc"
"preplogic-slides.aux"
+ "preplogic-slides.out"
+ "preplogic-slides.snm"
+ "preplogic-slides.pdf"
+ "preplogic-slides.log"
diff --git a/slides/preplogic-slides.fls b/slides/preplogic-slides.fls
@@ -300,6 +300,26 @@ INPUT ./unilu.jpg
INPUT /usr/share/texmf-dist/fonts/map/pdftex/updmap/pdftex.map
INPUT preplogic-slides.toc
INPUT preplogic-slides.toc
+INPUT /usr/share/texmf-dist/fonts/tfm/public/cm/cmssbx10.tfm
+INPUT /usr/share/texmf-dist/fonts/tfm/public/cm/cmtt10.tfm
+INPUT unilu.jpg
+INPUT ./unilu.jpg
+INPUT /usr/share/texmf-dist/fonts/tfm/public/cm/cmss12.tfm
+INPUT unilu.jpg
+INPUT ./unilu.jpg
+INPUT unilu.jpg
+INPUT ./unilu.jpg
+INPUT unilu.jpg
+INPUT ./unilu.jpg
+INPUT unilu.jpg
+INPUT ./unilu.jpg
+INPUT unilu.jpg
+INPUT ./unilu.jpg
+INPUT unilu.jpg
+INPUT ./unilu.jpg
+INPUT unilu.jpg
+INPUT ./unilu.jpg
+INPUT /usr/share/texmf-dist/fonts/tfm/public/cm/cmssi10.tfm
INPUT /usr/share/texmf-dist/fonts/tfm/public/cm/cmmi10.tfm
INPUT /usr/share/texmf-dist/fonts/tfm/public/cm/cmmi8.tfm
INPUT /usr/share/texmf-dist/fonts/tfm/public/cm/cmmi6.tfm
@@ -319,28 +339,8 @@ INPUT /usr/share/texmf-dist/tex/latex/amsfonts/umsb.fd
INPUT /usr/share/texmf-dist/fonts/tfm/public/amsfonts/symbols/msbm10.tfm
INPUT /usr/share/texmf-dist/fonts/tfm/public/amsfonts/symbols/msbm10.tfm
INPUT /usr/share/texmf-dist/fonts/tfm/public/amsfonts/symbols/msbm7.tfm
-INPUT /usr/share/texmf-dist/fonts/tfm/public/cm/cmssi10.tfm
INPUT /usr/share/texmf-dist/fonts/tfm/public/cm/cmssi8.tfm
INPUT /usr/share/texmf-dist/fonts/tfm/public/cm/cmssi8.tfm
-INPUT /usr/share/texmf-dist/fonts/tfm/public/cm/cmssbx10.tfm
-INPUT /usr/share/texmf-dist/fonts/tfm/public/cm/cmtt10.tfm
-INPUT unilu.jpg
-INPUT ./unilu.jpg
-INPUT /usr/share/texmf-dist/fonts/tfm/public/cm/cmss12.tfm
-INPUT unilu.jpg
-INPUT ./unilu.jpg
-INPUT unilu.jpg
-INPUT ./unilu.jpg
-INPUT unilu.jpg
-INPUT ./unilu.jpg
-INPUT unilu.jpg
-INPUT ./unilu.jpg
-INPUT unilu.jpg
-INPUT ./unilu.jpg
-INPUT unilu.jpg
-INPUT ./unilu.jpg
-INPUT unilu.jpg
-INPUT ./unilu.jpg
INPUT unilu.jpg
INPUT ./unilu.jpg
INPUT unilu.jpg
@@ -414,6 +414,9 @@ INPUT unilu.jpg
INPUT ./unilu.jpg
INPUT unilu.jpg
INPUT ./unilu.jpg
+INPUT /usr/share/texmf-dist/fonts/tfm/public/cm/cmss17.tfm
+INPUT unilu.jpg
+INPUT ./unilu.jpg
INPUT unilu.jpg
INPUT ./unilu.jpg
INPUT unilu.jpg
@@ -490,6 +493,7 @@ INPUT ./preplogic-slides.out
INPUT /usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmmi10.pfb
INPUT /usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmss10.pfb
INPUT /usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmss12.pfb
+INPUT /usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmss17.pfb
INPUT /usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmss8.pfb
INPUT /usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmss9.pfb
INPUT /usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmssbx10.pfb
diff --git 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 17:56
+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
entering extended mode
restricted \write18 enabled.
file:line:error style messages enabled.
@@ -513,22 +513,22 @@ File: l3backend-pdfmode.def 2020-06-03 L3 backend support: PDF mode
) (./preplogic-slides.aux)
\openout1 = `preplogic-slides.aux'.
-LaTeX Font Info: Checking defaults for OML/cmm/m/it on input line 31.
-LaTeX Font Info: ... okay on input line 31.
-LaTeX Font Info: Checking defaults for OMS/cmsy/m/n on input line 31.
-LaTeX Font Info: ... okay on input line 31.
-LaTeX Font Info: Checking defaults for OT1/cmr/m/n on input line 31.
-LaTeX Font Info: ... okay on input line 31.
-LaTeX Font Info: Checking defaults for T1/cmr/m/n on input line 31.
-LaTeX Font Info: ... okay on input line 31.
-LaTeX Font Info: Checking defaults for TS1/cmr/m/n on input line 31.
-LaTeX Font Info: ... okay on input line 31.
-LaTeX Font Info: Checking defaults for OMX/cmex/m/n on input line 31.
-LaTeX Font Info: ... okay on input line 31.
-LaTeX Font Info: Checking defaults for U/cmr/m/n on input line 31.
-LaTeX Font Info: ... okay on input line 31.
-LaTeX Font Info: Checking defaults for PD1/pdf/m/n on input line 31.
-LaTeX Font Info: ... okay on input line 31.
+LaTeX Font Info: Checking defaults for OML/cmm/m/it on input line 30.
+LaTeX Font Info: ... okay on input line 30.
+LaTeX Font Info: Checking defaults for OMS/cmsy/m/n on input line 30.
+LaTeX Font Info: ... okay on input line 30.
+LaTeX Font Info: Checking defaults for OT1/cmr/m/n on input line 30.
+LaTeX Font Info: ... okay on input line 30.
+LaTeX Font Info: Checking defaults for T1/cmr/m/n on input line 30.
+LaTeX Font Info: ... okay on input line 30.
+LaTeX Font Info: Checking defaults for TS1/cmr/m/n on input line 30.
+LaTeX Font Info: ... okay on input line 30.
+LaTeX Font Info: Checking defaults for OMX/cmex/m/n on input line 30.
+LaTeX Font Info: ... okay on input line 30.
+LaTeX Font Info: Checking defaults for U/cmr/m/n on input line 30.
+LaTeX Font Info: ... okay on input line 30.
+LaTeX Font Info: Checking defaults for PD1/pdf/m/n on input line 30.
+LaTeX Font Info: ... okay on input line 30.
*geometry* driver: auto-detecting
*geometry* detected driver: pdftex
@@ -584,7 +584,7 @@ Package epstopdf-base Info: Redefining graphics rule for `.eps' on input line 48
File: epstopdf-sys.cfg 2010/07/13 v1.3 Configuration of (r)epstopdf for TeX Live
)) ABD: EveryShipout initializing macros
\AtBeginShipoutBox=\box75
-Package hyperref Info: Link coloring OFF on input line 31.
+Package hyperref Info: Link coloring OFF on input line 30.
(/usr/share/texmf-dist/tex/latex/hyperref/nameref.sty
Package: nameref 2019/09/16 v2.46 Cross-referencing by name of section
(/usr/share/texmf-dist/tex/latex/refcount/refcount.sty
@@ -594,55 +594,55 @@ Package: gettitlestring 2019/12/15 v1.6 Cleanup title references (HO)
)
\c@section@level=\count320
)
-LaTeX Info: Redefining \ref on input line 31.
-LaTeX Info: Redefining \pageref on input line 31.
-LaTeX Info: Redefining \nameref on input line 31.
+LaTeX Info: Redefining \ref on input line 30.
+LaTeX Info: Redefining \pageref on input line 30.
+LaTeX Info: Redefining \nameref on input line 30.
(./preplogic-slides.out) (./preplogic-slides.out)
\@outlinefile=\write5
\openout5 = `preplogic-slides.out'.
LaTeX Font Info: Overwriting symbol font `operators' in version `normal'
-(Font) OT1/cmr/m/n --> OT1/cmss/m/n on input line 31.
+(Font) OT1/cmr/m/n --> OT1/cmss/m/n on input line 30.
LaTeX Font Info: Overwriting symbol font `operators' in version `bold'
-(Font) OT1/cmr/bx/n --> OT1/cmss/b/n on input line 31.
+(Font) OT1/cmr/bx/n --> OT1/cmss/b/n on input line 30.
\symnumbers=\mathgroup6
\sympureletters=\mathgroup7
LaTeX Font Info: Overwriting math alphabet `\mathrm' in version `normal'
-(Font) OT1/cmss/m/n --> OT1/cmr/m/n on input line 31.
-LaTeX Font Info: Redeclaring math alphabet \mathbf on input line 31.
+(Font) OT1/cmss/m/n --> OT1/cmr/m/n on input line 30.
+LaTeX Font Info: Redeclaring math alphabet \mathbf on input line 30.
LaTeX Font Info: Overwriting math alphabet `\mathbf' in version `normal'
-(Font) OT1/cmr/bx/n --> OT1/cmss/b/n on input line 31.
+(Font) OT1/cmr/bx/n --> OT1/cmss/b/n on input line 30.
LaTeX Font Info: Overwriting math alphabet `\mathbf' in version `bold'
-(Font) OT1/cmr/bx/n --> OT1/cmss/b/n on input line 31.
-LaTeX Font Info: Redeclaring math alphabet \mathsf on input line 31.
+(Font) OT1/cmr/bx/n --> OT1/cmss/b/n on input line 30.
+LaTeX Font Info: Redeclaring math alphabet \mathsf on input line 30.
LaTeX Font Info: Overwriting math alphabet `\mathsf' in version `normal'
-(Font) OT1/cmss/m/n --> OT1/cmss/m/n on input line 31.
+(Font) OT1/cmss/m/n --> OT1/cmss/m/n on input line 30.
LaTeX Font Info: Overwriting math alphabet `\mathsf' in version `bold'
-(Font) OT1/cmss/bx/n --> OT1/cmss/m/n on input line 31.
-LaTeX Font Info: Redeclaring math alphabet \mathit on input line 31.
+(Font) OT1/cmss/bx/n --> OT1/cmss/m/n on input line 30.
+LaTeX Font Info: Redeclaring math alphabet \mathit on input line 30.
LaTeX Font Info: Overwriting math alphabet `\mathit' in version `normal'
-(Font) OT1/cmr/m/it --> OT1/cmss/m/it on input line 31.
+(Font) OT1/cmr/m/it --> OT1/cmss/m/it on input line 30.
LaTeX Font Info: Overwriting math alphabet `\mathit' in version `bold'
-(Font) OT1/cmr/bx/it --> OT1/cmss/m/it on input line 31.
-LaTeX Font Info: Redeclaring math alphabet \mathtt on input line 31.
+(Font) OT1/cmr/bx/it --> OT1/cmss/m/it on input line 30.
+LaTeX Font Info: Redeclaring math alphabet \mathtt on input line 30.
LaTeX Font Info: Overwriting math alphabet `\mathtt' in version `normal'
-(Font) OT1/cmtt/m/n --> OT1/cmtt/m/n on input line 31.
+(Font) OT1/cmtt/m/n --> OT1/cmtt/m/n on input line 30.
LaTeX Font Info: Overwriting math alphabet `\mathtt' in version `bold'
-(Font) OT1/cmtt/m/n --> OT1/cmtt/m/n on input line 31.
+(Font) OT1/cmtt/m/n --> OT1/cmtt/m/n on input line 30.
LaTeX Font Info: Overwriting symbol font `numbers' in version `bold'
-(Font) OT1/cmss/m/n --> OT1/cmss/b/n on input line 31.
+(Font) OT1/cmss/m/n --> OT1/cmss/b/n on input line 30.
LaTeX Font Info: Overwriting symbol font `pureletters' in version `bold'
-(Font) OT1/cmss/m/it --> OT1/cmss/b/it on input line 31.
+(Font) OT1/cmss/m/it --> OT1/cmss/b/it on input line 30.
LaTeX Font Info: Overwriting math alphabet `\mathrm' in version `bold'
-(Font) OT1/cmss/b/n --> OT1/cmr/b/n on input line 31.
+(Font) OT1/cmss/b/n --> OT1/cmr/b/n on input line 30.
LaTeX Font Info: Overwriting math alphabet `\mathbf' in version `bold'
-(Font) OT1/cmss/b/n --> OT1/cmss/b/n on input line 31.
+(Font) OT1/cmss/b/n --> OT1/cmss/b/n on input line 30.
LaTeX Font Info: Overwriting math alphabet `\mathsf' in version `bold'
-(Font) OT1/cmss/m/n --> OT1/cmss/b/n on input line 31.
+(Font) OT1/cmss/m/n --> OT1/cmss/b/n on input line 30.
LaTeX Font Info: Overwriting math alphabet `\mathit' in version `bold'
-(Font) OT1/cmss/m/it --> OT1/cmss/b/it on input line 31.
+(Font) OT1/cmss/m/it --> OT1/cmss/b/it on input line 30.
LaTeX Font Info: Overwriting math alphabet `\mathtt' in version `bold'
-(Font) OT1/cmtt/m/n --> OT1/cmtt/b/n on input line 31.
+(Font) OT1/cmtt/m/n --> OT1/cmtt/b/n on input line 30.
(/usr/share/texmf-dist/tex/latex/translator/translator-basic-dictionary-English.dict
Dictionary: translator-basic-dictionary, Language: English
) (/usr/share/texmf-dist/tex/latex/translator/translator-bibliography-dictionary-English.dict
@@ -656,521 +656,528 @@ Dictionary: translator-numbers-dictionary, Language: English
) (/usr/share/texmf-dist/tex/latex/translator/translator-theorem-dictionary-English.dict
Dictionary: translator-theorem-dictionary, Language: English
) (./preplogic-slides.nav)
-<unilu.jpg, id=60, 645.16031pt x 578.16pt>
+<unilu.jpg, id=40, 645.16031pt x 578.16pt>
File: unilu.jpg Graphic file (type jpg)
<use unilu.jpg>
-Package pdftex.def Info: unilu.jpg used on input line 35.
+Package pdftex.def Info: unilu.jpg used on input line 34.
(pdftex.def) Requested size: 41.93689pt x 37.58171pt.
[1
{/usr/share/texmf-dist/fonts/map/pdftex/updmap/pdftex.map} <./unilu.jpg>] (./preplogic-slides.toc)
-LaTeX Font Info: Trying to load font information for U+msa on input line 44.
- (/usr/share/texmf-dist/tex/latex/amsfonts/umsa.fd
-File: umsa.fd 2013/01/14 v3.01 AMS symbols A
-)
-LaTeX Font Info: Trying to load font information for U+msb on input line 44.
- (/usr/share/texmf-dist/tex/latex/amsfonts/umsb.fd
-File: umsb.fd 2013/01/14 v3.01 AMS symbols B
-)
File: unilu.jpg Graphic file (type jpg)
<use unilu.jpg>
-Package pdftex.def Info: unilu.jpg used on input line 44.
+Package pdftex.def Info: unilu.jpg used on input line 39.
(pdftex.def) Requested size: 41.93689pt x 37.58171pt.
[2
]
File: unilu.jpg Graphic file (type jpg)
<use unilu.jpg>
-Package pdftex.def Info: unilu.jpg used on input line 71.
+Package pdftex.def Info: unilu.jpg used on input line 66.
(pdftex.def) Requested size: 41.93689pt x 37.58171pt.
[3
]
File: unilu.jpg Graphic file (type jpg)
<use unilu.jpg>
-Package pdftex.def Info: unilu.jpg used on input line 71.
+Package pdftex.def Info: unilu.jpg used on input line 66.
(pdftex.def) Requested size: 41.93689pt x 37.58171pt.
[4
]
File: unilu.jpg Graphic file (type jpg)
<use unilu.jpg>
-Package pdftex.def Info: unilu.jpg used on input line 71.
+Package pdftex.def Info: unilu.jpg used on input line 66.
(pdftex.def) Requested size: 41.93689pt x 37.58171pt.
[5
]
File: unilu.jpg Graphic file (type jpg)
<use unilu.jpg>
-Package pdftex.def Info: unilu.jpg used on input line 71.
+Package pdftex.def Info: unilu.jpg used on input line 66.
(pdftex.def) Requested size: 41.93689pt x 37.58171pt.
[6
]
File: unilu.jpg Graphic file (type jpg)
<use unilu.jpg>
-Package pdftex.def Info: unilu.jpg used on input line 71.
+Package pdftex.def Info: unilu.jpg used on input line 66.
(pdftex.def) Requested size: 41.93689pt x 37.58171pt.
[7
]
File: unilu.jpg Graphic file (type jpg)
<use unilu.jpg>
-Package pdftex.def Info: unilu.jpg used on input line 71.
+Package pdftex.def Info: unilu.jpg used on input line 66.
(pdftex.def) Requested size: 41.93689pt x 37.58171pt.
[8
]
File: unilu.jpg Graphic file (type jpg)
<use unilu.jpg>
-Package pdftex.def Info: unilu.jpg used on input line 71.
+Package pdftex.def Info: unilu.jpg used on input line 66.
(pdftex.def) Requested size: 41.93689pt x 37.58171pt.
[9
]
+LaTeX Font Info: Trying to load font information for U+msa on input line 76.
+ (/usr/share/texmf-dist/tex/latex/amsfonts/umsa.fd
+File: umsa.fd 2013/01/14 v3.01 AMS symbols A
+)
+LaTeX Font Info: Trying to load font information for U+msb on input line 76.
+ (/usr/share/texmf-dist/tex/latex/amsfonts/umsb.fd
+File: umsb.fd 2013/01/14 v3.01 AMS symbols B
+)
File: unilu.jpg Graphic file (type jpg)
<use unilu.jpg>
-Package pdftex.def Info: unilu.jpg used on input line 81.
+Package pdftex.def Info: unilu.jpg used on input line 76.
(pdftex.def) Requested size: 41.93689pt x 37.58171pt.
[10
]
File: unilu.jpg Graphic file (type jpg)
<use unilu.jpg>
-Package pdftex.def Info: unilu.jpg used on input line 99.
+Package pdftex.def Info: unilu.jpg used on input line 94.
(pdftex.def) Requested size: 41.93689pt x 37.58171pt.
[11
]
LaTeX Font Warning: Font shape `OT1/cmss/bx/it' undefined
-(Font) using `OT1/cmss/b/it' instead on input line 117.
+(Font) using `OT1/cmss/b/it' instead on input line 112.
LaTeX Font Warning: Font shape `OT1/cmss/b/it' undefined
-(Font) using `OT1/cmss/m/n' instead on input line 117.
+(Font) using `OT1/cmss/m/n' instead on input line 112.
File: unilu.jpg Graphic file (type jpg)
<use unilu.jpg>
-Package pdftex.def Info: unilu.jpg used on input line 117.
+Package pdftex.def Info: unilu.jpg used on input line 112.
(pdftex.def) Requested size: 41.93689pt x 37.58171pt.
[12
]
LaTeX Font Warning: Font shape `OT1/cmss/bx/it' undefined
-(Font) using `OT1/cmss/b/it' instead on input line 117.
+(Font) using `OT1/cmss/b/it' instead on input line 112.
File: unilu.jpg Graphic file (type jpg)
<use unilu.jpg>
-Package pdftex.def Info: unilu.jpg used on input line 117.
+Package pdftex.def Info: unilu.jpg used on input line 112.
(pdftex.def) Requested size: 41.93689pt x 37.58171pt.
[13
]
File: unilu.jpg Graphic file (type jpg)
<use unilu.jpg>
-Package pdftex.def Info: unilu.jpg used on input line 135.
+Package pdftex.def Info: unilu.jpg used on input line 130.
(pdftex.def) Requested size: 41.93689pt x 37.58171pt.
[14
]
File: unilu.jpg Graphic file (type jpg)
<use unilu.jpg>
-Package pdftex.def Info: unilu.jpg used on input line 135.
+Package pdftex.def Info: unilu.jpg used on input line 130.
(pdftex.def) Requested size: 41.93689pt x 37.58171pt.
[15
]
File: unilu.jpg Graphic file (type jpg)
<use unilu.jpg>
-Package pdftex.def Info: unilu.jpg used on input line 153.
+Package pdftex.def Info: unilu.jpg used on input line 148.
(pdftex.def) Requested size: 41.93689pt x 37.58171pt.
[16
]
File: unilu.jpg Graphic file (type jpg)
<use unilu.jpg>
-Package pdftex.def Info: unilu.jpg used on input line 153.
+Package pdftex.def Info: unilu.jpg used on input line 148.
(pdftex.def) Requested size: 41.93689pt x 37.58171pt.
[17
]
File: unilu.jpg Graphic file (type jpg)
<use unilu.jpg>
-Package pdftex.def Info: unilu.jpg used on input line 178.
+Package pdftex.def Info: unilu.jpg used on input line 173.
(pdftex.def) Requested size: 41.93689pt x 37.58171pt.
[18
]
File: unilu.jpg Graphic file (type jpg)
<use unilu.jpg>
-Package pdftex.def Info: unilu.jpg used on input line 178.
+Package pdftex.def Info: unilu.jpg used on input line 173.
(pdftex.def) Requested size: 41.93689pt x 37.58171pt.
[19
]
File: unilu.jpg Graphic file (type jpg)
<use unilu.jpg>
-Package pdftex.def Info: unilu.jpg used on input line 178.
+Package pdftex.def Info: unilu.jpg used on input line 173.
(pdftex.def) Requested size: 41.93689pt x 37.58171pt.
[20
]
-Overfull \hbox (1.01225pt too wide) detected at line 205
+Overfull \hbox (1.01225pt too wide) detected at line 200
[]
[]
File: unilu.jpg Graphic file (type jpg)
<use unilu.jpg>
-Package pdftex.def Info: unilu.jpg used on input line 205.
+Package pdftex.def Info: unilu.jpg used on input line 200.
(pdftex.def) Requested size: 41.93689pt x 37.58171pt.
[21
]
File: unilu.jpg Graphic file (type jpg)
<use unilu.jpg>
-Package pdftex.def Info: unilu.jpg used on input line 216.
+Package pdftex.def Info: unilu.jpg used on input line 211.
(pdftex.def) Requested size: 41.93689pt x 37.58171pt.
[22
]
File: unilu.jpg Graphic file (type jpg)
<use unilu.jpg>
-Package pdftex.def Info: unilu.jpg used on input line 216.
+Package pdftex.def Info: unilu.jpg used on input line 211.
(pdftex.def) Requested size: 41.93689pt x 37.58171pt.
[23
]
File: unilu.jpg Graphic file (type jpg)
<use unilu.jpg>
-Package pdftex.def Info: unilu.jpg used on input line 216.
+Package pdftex.def Info: unilu.jpg used on input line 211.
(pdftex.def) Requested size: 41.93689pt x 37.58171pt.
[24
]
File: unilu.jpg Graphic file (type jpg)
<use unilu.jpg>
-Package pdftex.def Info: unilu.jpg used on input line 237.
+Package pdftex.def Info: unilu.jpg used on input line 232.
(pdftex.def) Requested size: 41.93689pt x 37.58171pt.
[25
]
File: unilu.jpg Graphic file (type jpg)
<use unilu.jpg>
-Package pdftex.def Info: unilu.jpg used on input line 237.
+Package pdftex.def Info: unilu.jpg used on input line 232.
(pdftex.def) Requested size: 41.93689pt x 37.58171pt.
[26
]
File: unilu.jpg Graphic file (type jpg)
<use unilu.jpg>
-Package pdftex.def Info: unilu.jpg used on input line 255.
+Package pdftex.def Info: unilu.jpg used on input line 250.
(pdftex.def) Requested size: 41.93689pt x 37.58171pt.
[27
]
File: unilu.jpg Graphic file (type jpg)
<use unilu.jpg>
-Package pdftex.def Info: unilu.jpg used on input line 276.
+Package pdftex.def Info: unilu.jpg used on input line 271.
(pdftex.def) Requested size: 41.93689pt x 37.58171pt.
[28
]
File: unilu.jpg Graphic file (type jpg)
<use unilu.jpg>
-Package pdftex.def Info: unilu.jpg used on input line 276.
+Package pdftex.def Info: unilu.jpg used on input line 271.
(pdftex.def) Requested size: 41.93689pt x 37.58171pt.
[29
]
File: unilu.jpg Graphic file (type jpg)
<use unilu.jpg>
-Package pdftex.def Info: unilu.jpg used on input line 276.
+Package pdftex.def Info: unilu.jpg used on input line 271.
(pdftex.def) Requested size: 41.93689pt x 37.58171pt.
[30
]
File: unilu.jpg Graphic file (type jpg)
<use unilu.jpg>
-Package pdftex.def Info: unilu.jpg used on input line 305.
+Package pdftex.def Info: unilu.jpg used on input line 300.
(pdftex.def) Requested size: 41.93689pt x 37.58171pt.
[31
]
File: unilu.jpg Graphic file (type jpg)
<use unilu.jpg>
-Package pdftex.def Info: unilu.jpg used on input line 305.
+Package pdftex.def Info: unilu.jpg used on input line 300.
(pdftex.def) Requested size: 41.93689pt x 37.58171pt.
[32
]
File: unilu.jpg Graphic file (type jpg)
<use unilu.jpg>
-Package pdftex.def Info: unilu.jpg used on input line 305.
+Package pdftex.def Info: unilu.jpg used on input line 300.
(pdftex.def) Requested size: 41.93689pt x 37.58171pt.
[33
]
File: unilu.jpg Graphic file (type jpg)
<use unilu.jpg>
-Package pdftex.def Info: unilu.jpg used on input line 315.
+Package pdftex.def Info: unilu.jpg used on input line 310.
(pdftex.def) Requested size: 41.93689pt x 37.58171pt.
[34
]
File: unilu.jpg Graphic file (type jpg)
<use unilu.jpg>
-Package pdftex.def Info: unilu.jpg used on input line 330.
+Package pdftex.def Info: unilu.jpg used on input line 325.
(pdftex.def) Requested size: 41.93689pt x 37.58171pt.
[35
]
File: unilu.jpg Graphic file (type jpg)
<use unilu.jpg>
-Package pdftex.def Info: unilu.jpg used on input line 330.
+Package pdftex.def Info: unilu.jpg used on input line 325.
(pdftex.def) Requested size: 41.93689pt x 37.58171pt.
[36
]
File: unilu.jpg Graphic file (type jpg)
<use unilu.jpg>
-Package pdftex.def Info: unilu.jpg used on input line 330.
+Package pdftex.def Info: unilu.jpg used on input line 325.
(pdftex.def) Requested size: 41.93689pt x 37.58171pt.
[37
]
File: unilu.jpg Graphic file (type jpg)
<use unilu.jpg>
-Package pdftex.def Info: unilu.jpg used on input line 336.
+Package pdftex.def Info: unilu.jpg used on input line 333.
(pdftex.def) Requested size: 41.93689pt x 37.58171pt.
[38
]
File: unilu.jpg Graphic file (type jpg)
<use unilu.jpg>
-Package pdftex.def Info: unilu.jpg used on input line 353.
+Package pdftex.def Info: unilu.jpg used on input line 341.
(pdftex.def) Requested size: 41.93689pt x 37.58171pt.
[39
]
File: unilu.jpg Graphic file (type jpg)
<use unilu.jpg>
-Package pdftex.def Info: unilu.jpg used on input line 353.
+Package pdftex.def Info: unilu.jpg used on input line 359.
(pdftex.def) Requested size: 41.93689pt x 37.58171pt.
[40
]
File: unilu.jpg Graphic file (type jpg)
<use unilu.jpg>
-Package pdftex.def Info: unilu.jpg used on input line 370.
+Package pdftex.def Info: unilu.jpg used on input line 359.
(pdftex.def) Requested size: 41.93689pt x 37.58171pt.
[41
]
File: unilu.jpg Graphic file (type jpg)
<use unilu.jpg>
-Package pdftex.def Info: unilu.jpg used on input line 388.
+Package pdftex.def Info: unilu.jpg used on input line 376.
(pdftex.def) Requested size: 41.93689pt x 37.58171pt.
[42
]
File: unilu.jpg Graphic file (type jpg)
<use unilu.jpg>
-Package pdftex.def Info: unilu.jpg used on input line 388.
+Package pdftex.def Info: unilu.jpg used on input line 394.
(pdftex.def) Requested size: 41.93689pt x 37.58171pt.
[43
]
File: unilu.jpg Graphic file (type jpg)
<use unilu.jpg>
-Package pdftex.def Info: unilu.jpg used on input line 388.
+Package pdftex.def Info: unilu.jpg used on input line 394.
(pdftex.def) Requested size: 41.93689pt x 37.58171pt.
[44
]
File: unilu.jpg Graphic file (type jpg)
<use unilu.jpg>
-Package pdftex.def Info: unilu.jpg used on input line 392.
+Package pdftex.def Info: unilu.jpg used on input line 394.
(pdftex.def) Requested size: 41.93689pt x 37.58171pt.
[45
]
File: unilu.jpg Graphic file (type jpg)
<use unilu.jpg>
-Package pdftex.def Info: unilu.jpg used on input line 409.
+Package pdftex.def Info: unilu.jpg used on input line 398.
(pdftex.def) Requested size: 41.93689pt x 37.58171pt.
[46
]
File: unilu.jpg Graphic file (type jpg)
<use unilu.jpg>
-Package pdftex.def Info: unilu.jpg used on input line 409.
+Package pdftex.def Info: unilu.jpg used on input line 415.
(pdftex.def) Requested size: 41.93689pt x 37.58171pt.
[47
]
File: unilu.jpg Graphic file (type jpg)
<use unilu.jpg>
-Package pdftex.def Info: unilu.jpg used on input line 409.
+Package pdftex.def Info: unilu.jpg used on input line 415.
(pdftex.def) Requested size: 41.93689pt x 37.58171pt.
[48
]
File: unilu.jpg Graphic file (type jpg)
<use unilu.jpg>
-Package pdftex.def Info: unilu.jpg used on input line 409.
+Package pdftex.def Info: unilu.jpg used on input line 415.
(pdftex.def) Requested size: 41.93689pt x 37.58171pt.
[49
]
File: unilu.jpg Graphic file (type jpg)
<use unilu.jpg>
-Package pdftex.def Info: unilu.jpg used on input line 430.
+Package pdftex.def Info: unilu.jpg used on input line 415.
(pdftex.def) Requested size: 41.93689pt x 37.58171pt.
[50
]
File: unilu.jpg Graphic file (type jpg)
<use unilu.jpg>
-Package pdftex.def Info: unilu.jpg used on input line 430.
+Package pdftex.def Info: unilu.jpg used on input line 436.
(pdftex.def) Requested size: 41.93689pt x 37.58171pt.
[51
]
File: unilu.jpg Graphic file (type jpg)
<use unilu.jpg>
-Package pdftex.def Info: unilu.jpg used on input line 430.
+Package pdftex.def Info: unilu.jpg used on input line 436.
(pdftex.def) Requested size: 41.93689pt x 37.58171pt.
[52
]
File: unilu.jpg Graphic file (type jpg)
<use unilu.jpg>
-Package pdftex.def Info: unilu.jpg used on input line 430.
+Package pdftex.def Info: unilu.jpg used on input line 436.
(pdftex.def) Requested size: 41.93689pt x 37.58171pt.
[53
]
File: unilu.jpg Graphic file (type jpg)
<use unilu.jpg>
-Package pdftex.def Info: unilu.jpg used on input line 430.
+Package pdftex.def Info: unilu.jpg used on input line 436.
(pdftex.def) Requested size: 41.93689pt x 37.58171pt.
[54
]
File: unilu.jpg Graphic file (type jpg)
<use unilu.jpg>
-Package pdftex.def Info: unilu.jpg used on input line 448.
+Package pdftex.def Info: unilu.jpg used on input line 436.
(pdftex.def) Requested size: 41.93689pt x 37.58171pt.
[55
]
File: unilu.jpg Graphic file (type jpg)
<use unilu.jpg>
-Package pdftex.def Info: unilu.jpg used on input line 448.
+Package pdftex.def Info: unilu.jpg used on input line 454.
(pdftex.def) Requested size: 41.93689pt x 37.58171pt.
[56
]
File: unilu.jpg Graphic file (type jpg)
<use unilu.jpg>
-Package pdftex.def Info: unilu.jpg used on input line 472.
+Package pdftex.def Info: unilu.jpg used on input line 454.
(pdftex.def) Requested size: 41.93689pt x 37.58171pt.
[57
]
File: unilu.jpg Graphic file (type jpg)
<use unilu.jpg>
-Package pdftex.def Info: unilu.jpg used on input line 472.
+Package pdftex.def Info: unilu.jpg used on input line 478.
(pdftex.def) Requested size: 41.93689pt x 37.58171pt.
[58
]
File: unilu.jpg Graphic file (type jpg)
<use unilu.jpg>
-Package pdftex.def Info: unilu.jpg used on input line 472.
+Package pdftex.def Info: unilu.jpg used on input line 478.
(pdftex.def) Requested size: 41.93689pt x 37.58171pt.
[59
]
File: unilu.jpg Graphic file (type jpg)
<use unilu.jpg>
-Package pdftex.def Info: unilu.jpg used on input line 472.
+Package pdftex.def Info: unilu.jpg used on input line 478.
(pdftex.def) Requested size: 41.93689pt x 37.58171pt.
[60
]
File: unilu.jpg Graphic file (type jpg)
<use unilu.jpg>
-Package pdftex.def Info: unilu.jpg used on input line 472.
+Package pdftex.def Info: unilu.jpg used on input line 478.
(pdftex.def) Requested size: 41.93689pt x 37.58171pt.
[61
]
File: unilu.jpg Graphic file (type jpg)
<use unilu.jpg>
-Package pdftex.def Info: unilu.jpg used on input line 472.
+Package pdftex.def Info: unilu.jpg used on input line 478.
(pdftex.def) Requested size: 41.93689pt x 37.58171pt.
[62
]
File: unilu.jpg Graphic file (type jpg)
<use unilu.jpg>
-Package pdftex.def Info: unilu.jpg used on input line 472.
+Package pdftex.def Info: unilu.jpg used on input line 478.
(pdftex.def) Requested size: 41.93689pt x 37.58171pt.
[63
]
File: unilu.jpg Graphic file (type jpg)
<use unilu.jpg>
-Package pdftex.def Info: unilu.jpg used on input line 489.
+Package pdftex.def Info: unilu.jpg used on input line 478.
(pdftex.def) Requested size: 41.93689pt x 37.58171pt.
[64
]
File: unilu.jpg Graphic file (type jpg)
<use unilu.jpg>
-Package pdftex.def Info: unilu.jpg used on input line 489.
+Package pdftex.def Info: unilu.jpg used on input line 495.
(pdftex.def) Requested size: 41.93689pt x 37.58171pt.
[65
]
File: unilu.jpg Graphic file (type jpg)
<use unilu.jpg>
-Package pdftex.def Info: unilu.jpg used on input line 518.
+Package pdftex.def Info: unilu.jpg used on input line 495.
(pdftex.def) Requested size: 41.93689pt x 37.58171pt.
[66
]
File: unilu.jpg Graphic file (type jpg)
<use unilu.jpg>
-Package pdftex.def Info: unilu.jpg used on input line 518.
+Package pdftex.def Info: unilu.jpg used on input line 524.
(pdftex.def) Requested size: 41.93689pt x 37.58171pt.
[67
]
File: unilu.jpg Graphic file (type jpg)
<use unilu.jpg>
-Package pdftex.def Info: unilu.jpg used on input line 518.
+Package pdftex.def Info: unilu.jpg used on input line 524.
(pdftex.def) Requested size: 41.93689pt x 37.58171pt.
[68
]
File: unilu.jpg Graphic file (type jpg)
<use unilu.jpg>
-Package pdftex.def Info: unilu.jpg used on input line 518.
+Package pdftex.def Info: unilu.jpg used on input line 524.
(pdftex.def) Requested size: 41.93689pt x 37.58171pt.
[69
]
File: unilu.jpg Graphic file (type jpg)
<use unilu.jpg>
-Package pdftex.def Info: unilu.jpg used on input line 518.
+Package pdftex.def Info: unilu.jpg used on input line 524.
(pdftex.def) Requested size: 41.93689pt x 37.58171pt.
[70
]
+File: unilu.jpg Graphic file (type jpg)
+<use unilu.jpg>
+Package pdftex.def Info: unilu.jpg used on input line 524.
+(pdftex.def) Requested size: 41.93689pt x 37.58171pt.
+ [71
+
+]
\tf@nav=\write6
\openout6 = `preplogic-slides.nav'.
@@ -1180,31 +1187,31 @@ Package pdftex.def Info: unilu.jpg used on input line 518.
\tf@snm=\write8
\openout8 = `preplogic-slides.snm'.
-Package atveryend Info: Empty hook `BeforeClearDocument' on input line 520.
-Package atveryend Info: Empty hook `AfterLastShipout' on input line 520.
+Package atveryend Info: Empty hook `BeforeClearDocument' on input line 526.
+Package atveryend Info: Empty hook `AfterLastShipout' on input line 526.
(./preplogic-slides.aux)
-Package atveryend Info: Executing hook `AtVeryEndDocument' on input line 520.
-Package atveryend Info: Executing hook `AtEndAfterFileList' on input line 520.
+Package atveryend Info: Executing hook `AtVeryEndDocument' on input line 526.
+Package atveryend Info: Executing hook `AtEndAfterFileList' on input line 526.
Package rerunfilecheck Info: File `preplogic-slides.out' has not changed.
-(rerunfilecheck) Checksum: A373F8FE6398D06E7F947047EFB09783;564.
+(rerunfilecheck) Checksum: DEB4A29A1AFC0897B65A37CC63A87407;231.
LaTeX Font Warning: Some font shapes were not available, defaults substituted.
)
Here is how much of TeX's memory you used:
- 18179 strings out of 480478
- 343939 string characters out of 5905927
- 607887 words of memory out of 5000000
- 33601 multiletter control sequences out of 15000+600000
- 544705 words of font info for 69 fonts, out of 8000000 for 9000
+ 18146 strings out of 480478
+ 343117 string characters out of 5905927
+ 607445 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
-</usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmmi10.pfb></usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmss10.pfb></usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmss12.pfb></usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmss8.pfb></usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmss9.pfb></usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmssbx10.pfb></usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmssi10.pfb></usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmssi8.pfb></usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmssi9.pfb></usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmsy10.pfb></usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmsy9.pfb></usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmtt10.pfb></usr/share/texmf-dist/fonts/type1/public/amsfonts/symbols/msbm10.pfb>
-Output written on preplogic-slides.pdf (70 pages, 352243 bytes).
+</usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmmi10.pfb></usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmss10.pfb></usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmss12.pfb></usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmss17.pfb></usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmss8.pfb></usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmss9.pfb></usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmssbx10.pfb></usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmssi10.pfb></usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmssi8.pfb></usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmssi9.pfb></usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmsy10.pfb></usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmsy9.pfb></usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmtt10.pfb></usr/share/texmf-dist/fonts/type1/public/amsfonts/symbols/msbm10.pfb>
+Output written on preplogic-slides.pdf (71 pages, 363451 bytes).
PDF statistics:
- 2023 PDF objects out of 2073 (max. 8388607)
- 1902 compressed objects within 20 object streams
- 151 named destinations out of 1000 (max. 500000)
- 176 words of extra memory for PDF output out of 10000 (max. 10000000)
+ 2027 PDF objects out of 2073 (max. 8388607)
+ 1904 compressed objects within 20 object streams
+ 148 named destinations out of 1000 (max. 500000)
+ 136 words of extra memory for PDF output out of 10000 (max. 10000000)
diff --git a/slides/preplogic-slides.nav b/slides/preplogic-slides.nav
@@ -24,18 +24,14 @@
\headcommand {\beamer@framepages {18}{20}}
\headcommand {\slideentry {2}{0}{6}{21/21}{}{0}}
\headcommand {\beamer@framepages {21}{21}}
-\headcommand {\beamer@subsectionpages {11}{21}}
-\headcommand {\beamer@subsectionentry {0}{2}{1}{22}{Boolean algebra}}
-\headcommand {\slideentry {2}{1}{1}{22/24}{Boolean algebra}{0}}
+\headcommand {\slideentry {2}{0}{7}{22/24}{}{0}}
\headcommand {\beamer@framepages {22}{24}}
-\headcommand {\beamer@subsectionpages {22}{24}}
-\headcommand {\beamer@subsectionentry {0}{2}{2}{25}{Truth tables}}
-\headcommand {\slideentry {2}{2}{1}{25/26}{Truth tables}{0}}
+\headcommand {\slideentry {2}{0}{8}{25/26}{}{0}}
\headcommand {\beamer@framepages {25}{26}}
-\headcommand {\slideentry {2}{2}{2}{27/27}{Truth tables}{0}}
+\headcommand {\slideentry {2}{0}{9}{27/27}{}{0}}
\headcommand {\beamer@framepages {27}{27}}
\headcommand {\beamer@sectionpages {11}{27}}
-\headcommand {\beamer@subsectionpages {25}{27}}
+\headcommand {\beamer@subsectionpages {11}{27}}
\headcommand {\sectionentry {3}{Implication}{28}{Implication}{0}}
\headcommand {\slideentry {3}{0}{1}{28/30}{}{0}}
\headcommand {\beamer@framepages {28}{30}}
@@ -47,40 +43,36 @@
\headcommand {\beamer@framepages {35}{37}}
\headcommand {\slideentry {3}{0}{5}{38/38}{}{0}}
\headcommand {\beamer@framepages {38}{38}}
-\headcommand {\beamer@sectionpages {28}{38}}
-\headcommand {\beamer@subsectionpages {28}{38}}
-\headcommand {\sectionentry {4}{Quantifiers}{39}{Quantifiers}{0}}
-\headcommand {\slideentry {4}{0}{1}{39/40}{}{0}}
-\headcommand {\beamer@framepages {39}{40}}
-\headcommand {\slideentry {4}{0}{2}{41/41}{}{0}}
-\headcommand {\beamer@framepages {41}{41}}
-\headcommand {\slideentry {4}{0}{3}{42/44}{}{0}}
-\headcommand {\beamer@framepages {42}{44}}
-\headcommand {\slideentry {4}{0}{4}{45/45}{}{0}}
-\headcommand {\beamer@framepages {45}{45}}
-\headcommand {\beamer@sectionpages {39}{45}}
-\headcommand {\beamer@subsectionpages {39}{45}}
-\headcommand {\sectionentry {5}{Proofs}{46}{Proofs}{0}}
-\headcommand {\slideentry {5}{0}{1}{46/49}{}{0}}
-\headcommand {\beamer@framepages {46}{49}}
-\headcommand {\beamer@subsectionpages {46}{49}}
-\headcommand {\beamer@subsectionentry {0}{5}{1}{50}{Direct proofs}}
-\headcommand {\slideentry {5}{1}{1}{50/54}{Direct proofs}{0}}
-\headcommand {\beamer@framepages {50}{54}}
-\headcommand {\beamer@subsectionpages {50}{54}}
-\headcommand {\beamer@subsectionentry {0}{5}{2}{55}{Proofs by contradiction}}
-\headcommand {\slideentry {5}{2}{1}{55/56}{Proofs by contradiction}{0}}
-\headcommand {\beamer@framepages {55}{56}}
-\headcommand {\slideentry {5}{2}{2}{57/63}{Proofs by contradiction}{0}}
-\headcommand {\beamer@framepages {57}{63}}
-\headcommand {\beamer@subsectionpages {55}{63}}
-\headcommand {\beamer@subsectionentry {0}{5}{3}{64}{Proofs by induction}}
-\headcommand {\slideentry {5}{3}{1}{64/65}{Proofs by induction}{0}}
-\headcommand {\beamer@framepages {64}{65}}
-\headcommand {\slideentry {5}{3}{2}{66/70}{Proofs by induction}{0}}
-\headcommand {\beamer@framepages {66}{70}}
-\headcommand {\beamer@partpages {1}{70}}
-\headcommand {\beamer@subsectionpages {64}{70}}
-\headcommand {\beamer@sectionpages {46}{70}}
-\headcommand {\beamer@documentpages {70}}
-\headcommand {\gdef \inserttotalframenumber {28}}
+\headcommand {\slideentry {3}{0}{6}{39/39}{}{0}}
+\headcommand {\beamer@framepages {39}{39}}
+\headcommand {\beamer@sectionpages {28}{39}}
+\headcommand {\beamer@subsectionpages {28}{39}}
+\headcommand {\sectionentry {4}{Quantifiers}{40}{Quantifiers}{0}}
+\headcommand {\slideentry {4}{0}{1}{40/41}{}{0}}
+\headcommand {\beamer@framepages {40}{41}}
+\headcommand {\slideentry {4}{0}{2}{42/42}{}{0}}
+\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@partpages {1}{71}}
+\headcommand {\beamer@subsectionpages {47}{71}}
+\headcommand {\beamer@sectionpages {47}{71}}
+\headcommand {\beamer@documentpages {71}}
+\headcommand {\gdef \inserttotalframenumber {29}}
diff --git 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
diff --git a/slides/preplogic-slides.pdf b/slides/preplogic-slides.pdf
Binary files differ.
diff --git a/slides/preplogic-slides.synctex.gz b/slides/preplogic-slides.synctex.gz
Binary files differ.
diff --git a/slides/preplogic-slides.tex b/slides/preplogic-slides.tex
@@ -21,11 +21,10 @@
\newcommand{\refgithub}{
- \begin{itemize}
- \item \textbf{These slides:}
- \item \textbf{Exercises:}
- \item \textbf{Contact:} \texttt{sebastiano.tronto@uni.lu}
- \end{itemize}
+ \textbf{Slides and exercises:} \\
+ \hspace{20pt}\texttt{https://github.com/sebastianotronto/preplogic} \\
+ \textbf{Email:} \\
+ \hspace{20pt}\texttt{sebastiano.tronto@uni.lu}
}
\begin{document}
@@ -35,12 +34,8 @@
\end{frame}
\begin{frame}
- \begin{columns}
- \column{0.5\linewidth}
\tableofcontents
- \column{0.5\linewidth}
\refgithub
- \end{columns}
\end{frame}
@@ -204,7 +199,7 @@ Mathematician: ``Yes.''
\end{align*}}
\end{frame}
-\subsection{Boolean algebra}
+%\subsection{Boolean algebra}
\begin{frame}{Boolean algebra}
\begin{itemize}
@@ -215,7 +210,7 @@ Mathematician: ``Yes.''
\end{itemize}
\end{frame}
-\subsection{Truth tables}
+%\subsection{Truth tables}
\begin{frame}{Truth tables}
A compact way of describing an operator, or a composition of operators
@@ -330,11 +325,22 @@ Mathematician: ``Yes.''
\end{frame}
\begin{frame}{End of part 1}
- See you tomorrow!
+ \begin{center}
+ \Huge See you tomorrow!
+ \end{center}
+ \vspace{10pt}
+ \refgithub
+\end{frame}
+\begin{frame}{Elementary logic - part 2}
+ \begin{center}
+ \Huge Welcome Back!
+ \end{center}
+ \vspace{10pt}
\refgithub
\end{frame}
+
\section{Quantifiers}
\begin{frame}{Quantifiers}
@@ -408,7 +414,7 @@ Mathematician: ``Yes.''
\end{itemize}
\end{frame}
-\subsection{Direct proofs}
+%\subsection{Direct proofs}
\begin{frame}{Example: direct proof}
\begin{theorem}
The sum of two even numbers is even.
@@ -430,7 +436,7 @@ Mathematician: ``Yes.''
\end{frame}
-\subsection{Proofs by contradiction}
+%\subsection{Proofs by contradiction}
\begin{frame}{Proofs by contradiction}
Idea: I want to show $A=\textbf{true}$. I show that the implication
@@ -472,7 +478,7 @@ Mathematician: ``Yes.''
\end{frame}
-\subsection{Proofs by induction}
+%\subsection{Proofs by induction}
\begin{frame}{Proofs by induction}
If I want to prove $\forall n\in \mathbb N,\, A(n)$:
diff --git a/slides/preplogic-slides.toc b/slides/preplogic-slides.toc
@@ -1,10 +1,5 @@
\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}
+\beamer@sectionintoc {4}{Quantifiers}{40}{0}{4}
+\beamer@sectionintoc {5}{Proofs}{47}{0}{5}
