preplogic

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

preplogic-slides.aux (6068B)


      1 \relax 
      2 \providecommand\hyper@newdestlabel[2]{}
      3 \providecommand\HyperFirstAtBeginDocument{\AtBeginDocument}
      4 \HyperFirstAtBeginDocument{\ifx\hyper@anchor\@undefined
      5 \global\let\oldcontentsline\contentsline
      6 \gdef\contentsline#1#2#3#4{\oldcontentsline{#1}{#2}{#3}}
      7 \global\let\oldnewlabel\newlabel
      8 \gdef\newlabel#1#2{\newlabelxx{#1}#2}
      9 \gdef\newlabelxx#1#2#3#4#5#6{\oldnewlabel{#1}{{#2}{#3}}}
     10 \AtEndDocument{\ifx\hyper@anchor\@undefined
     11 \let\contentsline\oldcontentsline
     12 \let\newlabel\oldnewlabel
     13 \fi}
     14 \fi}
     15 \global\let\hyper@last\relax 
     16 \gdef\HyperFirstAtBeginDocument#1{#1}
     17 \providecommand\HyField@AuxAddToFields[1]{}
     18 \providecommand\HyField@AuxAddToCoFields[2]{}
     19 \@writefile{nav}{\headcommand {\slideentry {0}{0}{1}{1/1}{}{0}}}
     20 \@writefile{nav}{\headcommand {\beamer@framepages {1}{1}}}
     21 \@writefile{nav}{\headcommand {\slideentry {0}{0}{2}{2/2}{}{0}}}
     22 \@writefile{nav}{\headcommand {\beamer@framepages {2}{2}}}
     23 \@writefile{toc}{\beamer@sectionintoc {1}{Statements}{3}{0}{1}}
     24 \@writefile{nav}{\headcommand {\beamer@sectionpages {1}{2}}}
     25 \@writefile{nav}{\headcommand {\beamer@subsectionpages {1}{2}}}
     26 \@writefile{nav}{\headcommand {\sectionentry {1}{Statements}{3}{Statements}{0}}}
     27 \@writefile{nav}{\headcommand {\slideentry {1}{0}{1}{3/9}{}{0}}}
     28 \@writefile{nav}{\headcommand {\beamer@framepages {3}{9}}}
     29 \@writefile{nav}{\headcommand {\slideentry {1}{0}{2}{10/10}{}{0}}}
     30 \@writefile{nav}{\headcommand {\beamer@framepages {10}{10}}}
     31 \@writefile{toc}{\beamer@sectionintoc {2}{Logical operations}{11}{0}{2}}
     32 \@writefile{nav}{\headcommand {\beamer@sectionpages {3}{10}}}
     33 \@writefile{nav}{\headcommand {\beamer@subsectionpages {3}{10}}}
     34 \@writefile{nav}{\headcommand {\sectionentry {2}{Logical operations}{11}{Logical operations}{0}}}
     35 \@writefile{nav}{\headcommand {\slideentry {2}{0}{1}{11/11}{}{0}}}
     36 \@writefile{nav}{\headcommand {\beamer@framepages {11}{11}}}
     37 \@writefile{nav}{\headcommand {\slideentry {2}{0}{2}{12/13}{}{0}}}
     38 \@writefile{nav}{\headcommand {\beamer@framepages {12}{13}}}
     39 \@writefile{nav}{\headcommand {\slideentry {2}{0}{3}{14/15}{}{0}}}
     40 \@writefile{nav}{\headcommand {\beamer@framepages {14}{15}}}
     41 \@writefile{nav}{\headcommand {\slideentry {2}{0}{4}{16/17}{}{0}}}
     42 \@writefile{nav}{\headcommand {\beamer@framepages {16}{17}}}
     43 \@writefile{nav}{\headcommand {\slideentry {2}{0}{5}{18/20}{}{0}}}
     44 \@writefile{nav}{\headcommand {\beamer@framepages {18}{20}}}
     45 \@writefile{nav}{\headcommand {\slideentry {2}{0}{6}{21/21}{}{0}}}
     46 \@writefile{nav}{\headcommand {\beamer@framepages {21}{21}}}
     47 \@writefile{nav}{\headcommand {\slideentry {2}{0}{7}{22/24}{}{0}}}
     48 \@writefile{nav}{\headcommand {\beamer@framepages {22}{24}}}
     49 \@writefile{nav}{\headcommand {\slideentry {2}{0}{8}{25/26}{}{0}}}
     50 \@writefile{nav}{\headcommand {\beamer@framepages {25}{26}}}
     51 \@writefile{nav}{\headcommand {\slideentry {2}{0}{9}{27/27}{}{0}}}
     52 \@writefile{nav}{\headcommand {\beamer@framepages {27}{27}}}
     53 \@writefile{toc}{\beamer@sectionintoc {3}{Implication}{28}{0}{3}}
     54 \@writefile{nav}{\headcommand {\beamer@sectionpages {11}{27}}}
     55 \@writefile{nav}{\headcommand {\beamer@subsectionpages {11}{27}}}
     56 \@writefile{nav}{\headcommand {\sectionentry {3}{Implication}{28}{Implication}{0}}}
     57 \@writefile{nav}{\headcommand {\slideentry {3}{0}{1}{28/30}{}{0}}}
     58 \@writefile{nav}{\headcommand {\beamer@framepages {28}{30}}}
     59 \@writefile{nav}{\headcommand {\slideentry {3}{0}{2}{31/33}{}{0}}}
     60 \@writefile{nav}{\headcommand {\beamer@framepages {31}{33}}}
     61 \@writefile{nav}{\headcommand {\slideentry {3}{0}{3}{34/34}{}{0}}}
     62 \@writefile{nav}{\headcommand {\beamer@framepages {34}{34}}}
     63 \@writefile{nav}{\headcommand {\slideentry {3}{0}{4}{35/37}{}{0}}}
     64 \@writefile{nav}{\headcommand {\beamer@framepages {35}{37}}}
     65 \@writefile{nav}{\headcommand {\slideentry {3}{0}{5}{38/38}{}{0}}}
     66 \@writefile{nav}{\headcommand {\beamer@framepages {38}{38}}}
     67 \@writefile{nav}{\headcommand {\slideentry {3}{0}{6}{39/39}{}{0}}}
     68 \@writefile{nav}{\headcommand {\beamer@framepages {39}{39}}}
     69 \@writefile{toc}{\beamer@sectionintoc {4}{Quantifiers}{40}{0}{4}}
     70 \@writefile{nav}{\headcommand {\beamer@sectionpages {28}{39}}}
     71 \@writefile{nav}{\headcommand {\beamer@subsectionpages {28}{39}}}
     72 \@writefile{nav}{\headcommand {\sectionentry {4}{Quantifiers}{40}{Quantifiers}{0}}}
     73 \@writefile{nav}{\headcommand {\slideentry {4}{0}{1}{40/42}{}{0}}}
     74 \@writefile{nav}{\headcommand {\beamer@framepages {40}{42}}}
     75 \@writefile{nav}{\headcommand {\slideentry {4}{0}{2}{43/43}{}{0}}}
     76 \@writefile{nav}{\headcommand {\beamer@framepages {43}{43}}}
     77 \@writefile{nav}{\headcommand {\slideentry {4}{0}{3}{44/46}{}{0}}}
     78 \@writefile{nav}{\headcommand {\beamer@framepages {44}{46}}}
     79 \@writefile{toc}{\beamer@sectionintoc {5}{Proofs}{47}{0}{5}}
     80 \@writefile{nav}{\headcommand {\beamer@sectionpages {40}{46}}}
     81 \@writefile{nav}{\headcommand {\beamer@subsectionpages {40}{46}}}
     82 \@writefile{nav}{\headcommand {\sectionentry {5}{Proofs}{47}{Proofs}{0}}}
     83 \@writefile{nav}{\headcommand {\slideentry {5}{0}{1}{47/50}{}{0}}}
     84 \@writefile{nav}{\headcommand {\beamer@framepages {47}{50}}}
     85 \@writefile{nav}{\headcommand {\slideentry {5}{0}{2}{51/55}{}{0}}}
     86 \@writefile{nav}{\headcommand {\beamer@framepages {51}{55}}}
     87 \@writefile{nav}{\headcommand {\slideentry {5}{0}{3}{56/57}{}{0}}}
     88 \@writefile{nav}{\headcommand {\beamer@framepages {56}{57}}}
     89 \@writefile{nav}{\headcommand {\slideentry {5}{0}{4}{58/64}{}{0}}}
     90 \@writefile{nav}{\headcommand {\beamer@framepages {58}{64}}}
     91 \@writefile{nav}{\headcommand {\slideentry {5}{0}{5}{65/66}{}{0}}}
     92 \@writefile{nav}{\headcommand {\beamer@framepages {65}{66}}}
     93 \@writefile{nav}{\headcommand {\slideentry {5}{0}{6}{67/71}{}{0}}}
     94 \@writefile{nav}{\headcommand {\beamer@framepages {67}{71}}}
     95 \@writefile{nav}{\headcommand {\slideentry {5}{0}{7}{72/72}{}{0}}}
     96 \@writefile{nav}{\headcommand {\beamer@framepages {72}{72}}}
     97 \@writefile{nav}{\headcommand {\beamer@partpages {1}{72}}}
     98 \@writefile{nav}{\headcommand {\beamer@subsectionpages {47}{72}}}
     99 \@writefile{nav}{\headcommand {\beamer@sectionpages {47}{72}}}
    100 \@writefile{nav}{\headcommand {\beamer@documentpages {72}}}
    101 \@writefile{nav}{\headcommand {\gdef \inserttotalframenumber {29}}}