Assoc. Prof. Van-Dung Hoang
[email protected] Logics Discrete mathematics and Graph theory Faculty of Information Technology
Computer Vision & Intelligent Systems Laboratory Introduction to Propositional Logic • Logic: Tools for reasoning • Truth values, truth tables • Boolean logic: • Implications: → 2
Computer Vision & Intelligent Systems Laboratory Why study propositional logic? • A formal mathematical “language” for precise reasoning. • Start with propositions. • Add other constructs like negation, conjunction, disjunction, implication (p → q), etc. • All of these are based on ideas we use daily to reason about things. 3
Computer Vision & Intelligent Systems Laboratory Propositions • Declarative sentence • Must be either True or False. Propositions: • York University is in Toronto • York University is in downtown Toronto • All students at York are Computer Sc. majors. Not propositions: • Do you like this class? • There are x students in this class. 4
English