preplogic

Notes for the course "elementary logic"
git clone https://git.tronto.net/preplogic
Download | Log | Files | Refs | README

preplogic-exercises.fls (5846B)


      1 PWD /home/sebastiano/Dropbox/teaching/preparatory_logic/exercises
      2 INPUT /usr/share/texmf-dist/web2c/texmf.cnf
      3 INPUT /usr/share/texmf-var/web2c/pdftex/pdflatex.fmt
      4 INPUT preplogic-exercises.tex
      5 OUTPUT preplogic-exercises.log
      6 INPUT /usr/share/texmf-dist/tex/latex/base/article.cls
      7 INPUT /usr/share/texmf-dist/tex/latex/base/article.cls
      8 INPUT /usr/share/texmf-dist/tex/latex/base/size10.clo
      9 INPUT /usr/share/texmf-dist/tex/latex/base/size10.clo
     10 INPUT /usr/share/texmf-dist/tex/latex/base/inputenc.sty
     11 INPUT /usr/share/texmf-dist/tex/latex/base/inputenc.sty
     12 INPUT /usr/share/texmf-dist/tex/latex/amsmath/amsmath.sty
     13 INPUT /usr/share/texmf-dist/tex/latex/amsmath/amsmath.sty
     14 INPUT /usr/share/texmf-dist/tex/latex/amsmath/amstext.sty
     15 INPUT /usr/share/texmf-dist/tex/latex/amsmath/amstext.sty
     16 INPUT /usr/share/texmf-dist/tex/latex/amsmath/amsgen.sty
     17 INPUT /usr/share/texmf-dist/tex/latex/amsmath/amsgen.sty
     18 INPUT /usr/share/texmf-dist/tex/latex/amsmath/amsbsy.sty
     19 INPUT /usr/share/texmf-dist/tex/latex/amsmath/amsbsy.sty
     20 INPUT /usr/share/texmf-dist/tex/latex/amsmath/amsopn.sty
     21 INPUT /usr/share/texmf-dist/tex/latex/amsmath/amsopn.sty
     22 INPUT /usr/share/texmf-dist/tex/latex/amscls/amsthm.sty
     23 INPUT /usr/share/texmf-dist/tex/latex/amscls/amsthm.sty
     24 INPUT /usr/share/texmf-dist/tex/latex/amsfonts/amssymb.sty
     25 INPUT /usr/share/texmf-dist/tex/latex/amsfonts/amssymb.sty
     26 INPUT /usr/share/texmf-dist/tex/latex/amsfonts/amsfonts.sty
     27 INPUT /usr/share/texmf-dist/tex/latex/amsfonts/amsfonts.sty
     28 INPUT /usr/share/texmf-dist/tex/latex/geometry/geometry.sty
     29 INPUT /usr/share/texmf-dist/tex/latex/geometry/geometry.sty
     30 INPUT /usr/share/texmf-dist/tex/latex/graphics/keyval.sty
     31 INPUT /usr/share/texmf-dist/tex/latex/graphics/keyval.sty
     32 INPUT /usr/share/texmf-dist/tex/generic/iftex/ifvtex.sty
     33 INPUT /usr/share/texmf-dist/tex/generic/iftex/ifvtex.sty
     34 INPUT /usr/share/texmf-dist/tex/generic/iftex/iftex.sty
     35 INPUT /usr/share/texmf-dist/tex/generic/iftex/iftex.sty
     36 INPUT /usr/share/texmf-dist/tex/latex/l3backend/l3backend-pdfmode.def
     37 INPUT /usr/share/texmf-dist/tex/latex/l3backend/l3backend-pdfmode.def
     38 INPUT preplogic-exercises.aux
     39 INPUT preplogic-exercises.aux
     40 OUTPUT preplogic-exercises.aux
     41 INPUT /usr/share/texmf-dist/fonts/map/fontname/texfonts.map
     42 INPUT /usr/share/texmf-dist/fonts/tfm/public/cm/cmr17.tfm
     43 INPUT /usr/share/texmf-dist/fonts/tfm/public/cm/cmr12.tfm
     44 INPUT /usr/share/texmf-dist/fonts/tfm/public/cm/cmr8.tfm
     45 INPUT /usr/share/texmf-dist/fonts/tfm/public/cm/cmr6.tfm
     46 INPUT /usr/share/texmf-dist/fonts/tfm/public/cm/cmmi12.tfm
     47 INPUT /usr/share/texmf-dist/fonts/tfm/public/cm/cmmi8.tfm
     48 INPUT /usr/share/texmf-dist/fonts/tfm/public/cm/cmmi6.tfm
     49 INPUT /usr/share/texmf-dist/fonts/tfm/public/cm/cmsy10.tfm
     50 INPUT /usr/share/texmf-dist/fonts/tfm/public/cm/cmsy8.tfm
     51 INPUT /usr/share/texmf-dist/fonts/tfm/public/cm/cmsy6.tfm
     52 INPUT /usr/share/texmf-dist/fonts/tfm/public/cm/cmex10.tfm
     53 INPUT /usr/share/texmf-dist/fonts/tfm/public/amsfonts/cmextra/cmex8.tfm
     54 INPUT /usr/share/texmf-dist/fonts/tfm/public/amsfonts/cmextra/cmex7.tfm
     55 INPUT /usr/share/texmf-dist/tex/latex/amsfonts/umsa.fd
     56 INPUT /usr/share/texmf-dist/tex/latex/amsfonts/umsa.fd
     57 INPUT /usr/share/texmf-dist/fonts/tfm/public/amsfonts/symbols/msam10.tfm
     58 INPUT /usr/share/texmf-dist/fonts/tfm/public/amsfonts/symbols/msam10.tfm
     59 INPUT /usr/share/texmf-dist/fonts/tfm/public/amsfonts/symbols/msam7.tfm
     60 INPUT /usr/share/texmf-dist/tex/latex/amsfonts/umsb.fd
     61 INPUT /usr/share/texmf-dist/tex/latex/amsfonts/umsb.fd
     62 INPUT /usr/share/texmf-dist/fonts/tfm/public/amsfonts/symbols/msbm10.tfm
     63 INPUT /usr/share/texmf-dist/fonts/tfm/public/amsfonts/symbols/msbm10.tfm
     64 INPUT /usr/share/texmf-dist/fonts/tfm/public/amsfonts/symbols/msbm7.tfm
     65 INPUT /usr/share/texmf-dist/fonts/tfm/public/cm/cmtt12.tfm
     66 INPUT /usr/share/texmf-dist/fonts/tfm/public/cm/cmr12.tfm
     67 INPUT /usr/share/texmf-dist/fonts/tfm/public/cm/cmbx12.tfm
     68 INPUT /usr/share/texmf-dist/fonts/tfm/public/cm/cmbx10.tfm
     69 INPUT /usr/share/texmf-dist/fonts/tfm/public/amsfonts/cmextra/cmex7.tfm
     70 INPUT /usr/share/texmf-dist/fonts/tfm/public/amsfonts/cmextra/cmex7.tfm
     71 INPUT /usr/share/texmf-dist/fonts/tfm/public/amsfonts/symbols/msam10.tfm
     72 INPUT /usr/share/texmf-dist/fonts/tfm/public/amsfonts/symbols/msam7.tfm
     73 INPUT /usr/share/texmf-dist/fonts/tfm/public/amsfonts/symbols/msam5.tfm
     74 INPUT /usr/share/texmf-dist/fonts/tfm/public/amsfonts/symbols/msbm10.tfm
     75 INPUT /usr/share/texmf-dist/fonts/tfm/public/amsfonts/symbols/msbm7.tfm
     76 INPUT /usr/share/texmf-dist/fonts/tfm/public/amsfonts/symbols/msbm5.tfm
     77 INPUT /usr/share/texmf-dist/fonts/tfm/public/cm/cmti10.tfm
     78 OUTPUT preplogic-exercises.pdf
     79 INPUT /usr/share/texmf-dist/fonts/map/pdftex/updmap/pdftex.map
     80 INPUT /usr/share/texmf-dist/fonts/tfm/jknappen/ec/tcrm1000.tfm
     81 INPUT preplogic-exercises.aux
     82 INPUT /usr/share/texmf-dist/fonts/enc/dvips/cm-super/cm-super-ts1.enc
     83 INPUT /usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmbx10.pfb
     84 INPUT /usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmbx12.pfb
     85 INPUT /usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmex10.pfb
     86 INPUT /usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmmi10.pfb
     87 INPUT /usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmmi5.pfb
     88 INPUT /usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmmi7.pfb
     89 INPUT /usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmr10.pfb
     90 INPUT /usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmr12.pfb
     91 INPUT /usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmr17.pfb
     92 INPUT /usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmr7.pfb
     93 INPUT /usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmsy10.pfb
     94 INPUT /usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmti10.pfb
     95 INPUT /usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmtt12.pfb
     96 INPUT /usr/share/texmf-dist/fonts/type1/public/amsfonts/symbols/msbm10.pfb
     97 INPUT /usr/share/texmf-dist/fonts/type1/public/cm-super/sfrm1000.pfb