Lecture Discrete Mathematics I - Chapter 2: Logics (cont.) (Tran Vinh Tan) provide students with knowledge about limits of propositional logic, negation of quantifiers, the order of quantifiers, translating nested quantifiers, translating into logical expressions, . |