Fixed small typo

5 files changed, 15 insertions, 15 deletions

diff --git a/slides/preplogic-slides.fdb_latexmk b/slides/preplogic-slides.fdb_latexmk
index 32485a0..44545a1 100644
--- 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
index b9ce44b..cdb8be9 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.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
index 03e8821..0e1ab91 100644
--- a/slides/preplogic-slides.pdf
+++ b/slides/preplogic-slides.pdf
diff --git a/slides/preplogic-slides.synctex.gz b/slides/preplogic-slides.synctex.gz
index 1b16a6d..b00eb0e 100644
--- a/slides/preplogic-slides.synctex.gz
+++ b/slides/preplogic-slides.synctex.gz
diff --git a/slides/preplogic-slides.tex b/slides/preplogic-slides.tex
index e0c4886..94a4895 100644
--- 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}