preplogic-slides.nav (3672B)
1 \headcommand {\slideentry {0}{0}{1}{1/1}{}{0}} 2 \headcommand {\beamer@framepages {1}{1}} 3 \headcommand {\slideentry {0}{0}{2}{2/2}{}{0}} 4 \headcommand {\beamer@framepages {2}{2}} 5 \headcommand {\beamer@sectionpages {1}{2}} 6 \headcommand {\beamer@subsectionpages {1}{2}} 7 \headcommand {\sectionentry {1}{Statements}{3}{Statements}{0}} 8 \headcommand {\slideentry {1}{0}{1}{3/9}{}{0}} 9 \headcommand {\beamer@framepages {3}{9}} 10 \headcommand {\slideentry {1}{0}{2}{10/10}{}{0}} 11 \headcommand {\beamer@framepages {10}{10}} 12 \headcommand {\beamer@sectionpages {3}{10}} 13 \headcommand {\beamer@subsectionpages {3}{10}} 14 \headcommand {\sectionentry {2}{Logical operations}{11}{Logical operations}{0}} 15 \headcommand {\slideentry {2}{0}{1}{11/11}{}{0}} 16 \headcommand {\beamer@framepages {11}{11}} 17 \headcommand {\slideentry {2}{0}{2}{12/13}{}{0}} 18 \headcommand {\beamer@framepages {12}{13}} 19 \headcommand {\slideentry {2}{0}{3}{14/15}{}{0}} 20 \headcommand {\beamer@framepages {14}{15}} 21 \headcommand {\slideentry {2}{0}{4}{16/17}{}{0}} 22 \headcommand {\beamer@framepages {16}{17}} 23 \headcommand {\slideentry {2}{0}{5}{18/20}{}{0}} 24 \headcommand {\beamer@framepages {18}{20}} 25 \headcommand {\slideentry {2}{0}{6}{21/21}{}{0}} 26 \headcommand {\beamer@framepages {21}{21}} 27 \headcommand {\slideentry {2}{0}{7}{22/24}{}{0}} 28 \headcommand {\beamer@framepages {22}{24}} 29 \headcommand {\slideentry {2}{0}{8}{25/26}{}{0}} 30 \headcommand {\beamer@framepages {25}{26}} 31 \headcommand {\slideentry {2}{0}{9}{27/27}{}{0}} 32 \headcommand {\beamer@framepages {27}{27}} 33 \headcommand {\beamer@sectionpages {11}{27}} 34 \headcommand {\beamer@subsectionpages {11}{27}} 35 \headcommand {\sectionentry {3}{Implication}{28}{Implication}{0}} 36 \headcommand {\slideentry {3}{0}{1}{28/30}{}{0}} 37 \headcommand {\beamer@framepages {28}{30}} 38 \headcommand {\slideentry {3}{0}{2}{31/33}{}{0}} 39 \headcommand {\beamer@framepages {31}{33}} 40 \headcommand {\slideentry {3}{0}{3}{34/34}{}{0}} 41 \headcommand {\beamer@framepages {34}{34}} 42 \headcommand {\slideentry {3}{0}{4}{35/37}{}{0}} 43 \headcommand {\beamer@framepages {35}{37}} 44 \headcommand {\slideentry {3}{0}{5}{38/38}{}{0}} 45 \headcommand {\beamer@framepages {38}{38}} 46 \headcommand {\slideentry {3}{0}{6}{39/39}{}{0}} 47 \headcommand {\beamer@framepages {39}{39}} 48 \headcommand {\beamer@sectionpages {28}{39}} 49 \headcommand {\beamer@subsectionpages {28}{39}} 50 \headcommand {\sectionentry {4}{Quantifiers}{40}{Quantifiers}{0}} 51 \headcommand {\slideentry {4}{0}{1}{40/42}{}{0}} 52 \headcommand {\beamer@framepages {40}{42}} 53 \headcommand {\slideentry {4}{0}{2}{43/43}{}{0}} 54 \headcommand {\beamer@framepages {43}{43}} 55 \headcommand {\slideentry {4}{0}{3}{44/46}{}{0}} 56 \headcommand {\beamer@framepages {44}{46}} 57 \headcommand {\beamer@sectionpages {40}{46}} 58 \headcommand {\beamer@subsectionpages {40}{46}} 59 \headcommand {\sectionentry {5}{Proofs}{47}{Proofs}{0}} 60 \headcommand {\slideentry {5}{0}{1}{47/50}{}{0}} 61 \headcommand {\beamer@framepages {47}{50}} 62 \headcommand {\slideentry {5}{0}{2}{51/55}{}{0}} 63 \headcommand {\beamer@framepages {51}{55}} 64 \headcommand {\slideentry {5}{0}{3}{56/57}{}{0}} 65 \headcommand {\beamer@framepages {56}{57}} 66 \headcommand {\slideentry {5}{0}{4}{58/64}{}{0}} 67 \headcommand {\beamer@framepages {58}{64}} 68 \headcommand {\slideentry {5}{0}{5}{65/66}{}{0}} 69 \headcommand {\beamer@framepages {65}{66}} 70 \headcommand {\slideentry {5}{0}{6}{67/71}{}{0}} 71 \headcommand {\beamer@framepages {67}{71}} 72 \headcommand {\slideentry {5}{0}{7}{72/72}{}{0}} 73 \headcommand {\beamer@framepages {72}{72}} 74 \headcommand {\beamer@partpages {1}{72}} 75 \headcommand {\beamer@subsectionpages {47}{72}} 76 \headcommand {\beamer@sectionpages {47}{72}} 77 \headcommand {\beamer@documentpages {72}} 78 \headcommand {\gdef \inserttotalframenumber {29}}