preplogic

commit df336d01e6a3468b00c0c45b7867ac2a0936fea9
parent ec819ee90da9ef7272f7379c29e8e16bda4d172a
Author: Sebastiano Tronto <sebastiano.tronto@gmail.com>
Date:   Fri, 11 Sep 2020 11:13:07 +0200

Fixed small typo

Diffstat:
M
preplogic-slides.pdf
 | 
0

M
slides/preplogic-slides.fdb_latexmk
 | 
20
++++++++++----------
M
slides/preplogic-slides.log
 | 
4
++--
M
slides/preplogic-slides.pdf
 | 
0

M
slides/preplogic-slides.synctex.gz
 | 
0

M
slides/preplogic-slides.tex
 | 
6
+++---

6 files changed, 15 insertions(+), 15 deletions(-)
diff --git a/preplogic-slides.pdf b/preplogic-slides.pdf
Binary files differ.
diff --git a/slides/preplogic-slides.fdb_latexmk b/slides/preplogic-slides.fdb_latexmk
@@ -1,5 +1,5 @@
 # Fdb version 3
-["pdflatex"] 1599547213 "preplogic-slides.tex" "preplogic-slides.pdf" "preplogic-slides" 1599547216
+["pdflatex"] 1599815546 "preplogic-slides.tex" "preplogic-slides.pdf" "preplogic-slides" 1599815549
   "/etc/texmf/web2c/texmf.cnf" 1538037709 475 c0e671620eb5563b2130f56340a5fde8 ""
   "/usr/share/texlive/texmf-dist/fonts/map/fontname/texfonts.map" 1511824771 3332 103109f5612ad95229751940c61aada0 ""
   "/usr/share/texlive/texmf-dist/fonts/tfm/public/amsfonts/cmextra/cmex7.tfm" 1480098698 1004 54797486969f23fa377b128694d548df ""
@@ -201,17 +201,17 @@
   "/usr/share/texmf/web2c/texmf.cnf" 1520210507 32485 c64754543d8ac501bea6e75e209ea521 ""
   "/var/lib/texmf/fonts/map/pdftex/updmap/pdftex.map" 1556268315 2498019 afad6a2aaa78d153b1d838814ac14e00 ""
   "/var/lib/texmf/web2c/pdftex/pdflatex.fmt" 1553505671 4131933 9c912dd4c7f439cb8b40127b9b4a2f38 ""
-  "preplogic-slides.aux" 1599547215 6068 2f0cc67bdd50708d140d2e9bc09f8405 ""
-  "preplogic-slides.nav" 1599547215 3672 467051a347cacc5af16126018a801fe6 ""
-  "preplogic-slides.out" 1599547215 231 deb4a29a1afc0897b65a37cc63a87407 ""
-  "preplogic-slides.tex" 1599547212 14092 f64cd262a08bbc958a70d23b2d3ed4d4 ""
-  "preplogic-slides.toc" 1599547215 240 82b64b5af661cb4f9fe5c48ed162b693 ""
+  "preplogic-slides.aux" 1599815549 6068 2f0cc67bdd50708d140d2e9bc09f8405 ""
+  "preplogic-slides.nav" 1599815549 3672 467051a347cacc5af16126018a801fe6 ""
+  "preplogic-slides.out" 1599815549 231 deb4a29a1afc0897b65a37cc63a87407 ""
+  "preplogic-slides.tex" 1599815542 14092 3c16e3328c2a1c52359574a1cf12eecc ""
+  "preplogic-slides.toc" 1599815549 240 82b64b5af661cb4f9fe5c48ed162b693 ""
   "unilu.jpg" 1554272896 41957 a77f6a50964dc93c1a7378a3852a421d ""
   (generated)
-  "preplogic-slides.log"
-  "preplogic-slides.aux"
   "preplogic-slides.toc"
-  "preplogic-slides.nav"
   "preplogic-slides.snm"
-  "preplogic-slides.pdf"
+  "preplogic-slides.aux"
   "preplogic-slides.out"
+  "preplogic-slides.pdf"
+  "preplogic-slides.nav"
+  "preplogic-slides.log"
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.18 (TeX Live 2017/Debian) (preloaded format=pdflatex 2019.3.25)  8 SEP 2020 08:40
+This is pdfTeX, Version 3.14159265-2.6-1.40.18 (TeX Live 2017/Debian) (preloaded format=pdflatex 2019.3.25)  11 SEP 2020 11:12
 entering extended mode
  restricted \write18 enabled.
  file:line:error style messages enabled.
@@ -1537,7 +1537,7 @@ Here is how much of TeX's memory you used:
  1141 hyphenation exceptions out of 8191
  56i,20n,64p,800b,894s stack positions out of 5000i,500n,10000p,200000b,80000s
 </usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmmi10.pfb></usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmss10.pfb></usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmss12.pfb></usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmss17.pfb></usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmss8.pfb></usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmss9.pfb></usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmssbx10.pfb></usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmssi10.pfb></usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmssi8.pfb></usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmssi9.pfb></usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmsy10.pfb></usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmsy9.pfb></usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmtt10.pfb></usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/symbols/msbm10.pfb>
-Output written on preplogic-slides.pdf (72 pages, 364675 bytes).
+Output written on preplogic-slides.pdf (72 pages, 364567 bytes).
 PDF statistics:
  2055 PDF objects out of 2073 (max. 8388607)
  1931 compressed objects within 20 object streams
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
@@ -366,16 +366,16 @@ Mathematician: ``Yes.''
   \begin{example}
   $S=$``the set of all cars'', $A(x)$=``$x$ is red''
 
-  $\forall x\in S,\, A(X)$ is \textbf{false}.
+  $\forall x\in S,\, A(x)$ is \textbf{false}.
 
-  $\exists x\in S,\, A(X)$ is \textbf{true}.
+  $\exists x\in S,\, A(x)$ is \textbf{true}.
   \end{example}
   \begin{example}
     $S=\mathbb{N}$, $A(x)=x>5$
 
   $\forall x\in S,\, A(x)$ is \textbf{false}.
 
-  $\exists x\in S,\, A(X)$ is \textbf{true}.
+  $\exists x\in S,\, A(x)$ is \textbf{true}.
   \end{example}
 \end{frame}