\BOOKMARK [0][-]{chapter.1}{Chapitre 1. Propositional Logic}{} \BOOKMARK [1][-]{section.1.1}{1.1. Introduction}{chapter.1} \BOOKMARK [1][-]{section.1.2}{1.2. Statements, Symbolic Representation, and Tautologies}{chapter.1} \BOOKMARK [1][-]{section.1.3}{1.3. Propositional logic}{chapter.1} \BOOKMARK [1][-]{section.1.4}{1.4. Verbal arguments}{chapter.1} \BOOKMARK [1][-]{section.1.5}{1.5. Summary}{chapter.1}