From df336d01e6a3468b00c0c45b7867ac2a0936fea9 Mon Sep 17 00:00:00 2001 From: Sebastiano Tronto Date: Fri, 11 Sep 2020 11:13:07 +0200 Subject: Fixed small typo --- preplogic-slides.pdf | Bin 364675 -> 364567 bytes slides/preplogic-slides.fdb_latexmk | 20 ++++++++++---------- slides/preplogic-slides.log | 4 ++-- slides/preplogic-slides.pdf | Bin 364675 -> 364567 bytes slides/preplogic-slides.synctex.gz | Bin 88640 -> 88620 bytes slides/preplogic-slides.tex | 6 +++--- 6 files changed, 15 insertions(+), 15 deletions(-) diff --git a/preplogic-slides.pdf b/preplogic-slides.pdf index 03e8821..0e1ab91 100644 Binary files a/preplogic-slides.pdf and b/preplogic-slides.pdf differ 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 -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 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 1b16a6d..b00eb0e 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 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} -- cgit v1.3