Discrete Mathematics proposition truth table negation conjunction disjunction

Discrete Mathematics proposition, truth table, negation, conjunction, disjunction, implication, bi-implication, WFF, precedence, truth assignment Liangfeng Zhang School of Information Science and Technology Shanghai. Tech University

Overview

Course Information Lectures: (Monday 8: 15 -9: 55; Wednesday 8: 15 -9: 55/教学中心202) Textbook: • Discrete Mathematics and Its Applications (7 th edition), Kenneth H. Rosen, William C Brown Pub, 2011. Evaluation: • Quiz: 5% • Homework: 55% • Final Exam: 40% Course Materials: https: //piazza. com/class/jdzy 362 msyq 2 ly

Mathematical Logic: the study (science) of reasoning Mathematical logic: the mathematical study of reasoning and the study of mathematical reasoning //foundation of mathematics • Leibniz (1646 -1716): introduced the idea of mathematical logic in “Dissertation on the Art of Combinations” in 1666 • idea: reasoning based on symbols and calculations • contributors: Boole, De Morgan, Frege, Peano, Russell, Hilbert, Gödel, … • Areas: (1) set theory, (2) model theory, (3) recursion theory, (4) proof theory, and their foundation (5) propositional logic and predicate logic • Our focus: propositional logic and predicate logic, (naive) set theory