Tools

Propositional Logic: Syntax and Inference

References and Further Reading

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. (2001). A Mathematical Introduction to Logic, 2nd Edition, Academic Press. [Chapter 1: Propositional 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: "Logic for Computer Science" by Prof. Deepak Khemani, IIT Madras
  2. MIT OpenCourseWare: "Mathematics for Computer Science" - Lectures on Propositional Logic and Proofs
  3. Stanford Online: "Introduction to Logic" - Comprehensive course covering propositional and predicate logic

Interactive Learning Resources

  1. The Iltis project - Interactive Logic Teaching and Information System
  2. Stanford's Introduction to Logic - Interactive exercises and demonstrations
  3. Natural Deduction by Open Logic Project - Practice tool for logical proofs

Web Resources

  1. Rules of Inference in Propositional Logic - IIT Kanpur Computer Science
  2. Propositional Logic - GeeksforGeeks comprehensive guide
  3. Truth Tables and Logical Operators - Brilliant.org's interactive guide
  4. Propositional Calculus - Wikipedia article with detailed explanations

Research Papers and Articles

  1. Hoare, C. A. R. (1969). "An Axiomatic Basis for Computer Programming". Communications of the ACM, 12(10), 576-580.
  2. Cook, S. A. (1971). "The Complexity of Theorem-Proving Procedures". Proceedings of the Third Annual ACM Symposium on Theory of Computing, 151-158.

Additional Tools and Software

  1. Logic Tutor - Interactive tool for learning propositional logic
  2. Logicly - Visual tool for building and testing logic circuits
  3. TruthTable - Stanford's truth table generator and checker