Computer Science and Engineering Discrete Mathematics - I Experiments

Propositional Logic: Syntax and Inference

Textbooks

  1. Copi, I. M., Cohen, C., & McMahon, K. (2014). Introduction to Logic, 14th Edition, Pearson. [Chapters 5-6: Categorical Propositions and Modern Logic]
  2. Enderton, H. B. A Mathematical Introduction to Logic, 2nd Edition, Academic Press. [Chapter 2: First-Order Logic]
  3. Huth, M., & Ryan, M. (2004). Logic in Computer Science: Modelling and Reasoning about Systems, 2nd Edition, Cambridge University Press. [Chapter 1: Propositional Logic]

Online Courses and Video Lectures

  1. NPTEL Course by Prof. Deepak Khemani, IIT Madras
  2. MIT OpenCourseWare

Web Resources

  1. Rules of Inference in Propositional Logic - IIT Kanpur Computer Science
  2. Propositional Calculus