1: Logic Last updated Save as PDF Page ID9671 Contributed by Stefan Hugtenburg & Neil Yorke-SmithFaculty at Delft University of TechnologySourced from TU Delft Open 1.1: Propositional Logic1.1.1: Propositions1.1.2: Logical operators1.1.3: Precedence rules1.1.4: Logical equivalence1.1.5: More logical operaters1.1.6: Implications in English1.1.7: More forms of implication1.1.8: Exclusive or1.1.9: Universal operators1.1.10: Classifying propositions1.2: Boolean Algebra1.2.1: Basics of Boolean Algebra1.2.2: Substitution Laws1.2.3: Simplifications1.2.4: More rules of Boolean Algebra1.3: Logic Circuits1.3.1: Logic Gates1.3.2: Combining Gates to Create Circuits1.3.3: From Circuits to Propositions1.3.4: Disjunctive Normal Form1.3.5: Binary Addition1.4: Predicate Logic1.4.1: Predicates1.4.2: Quantifiers1.4.3: Operators1.4.4: Tarski’s world and formal structures1.4.5: Logical equivalence1.5: Deduction1.5.1: Arguments1.5.2: Valid arguments and proofs1.5.3: Proofs in predicate logic1.6: Logic