Week 2

Chapters (Discrete Mathematics and Its Applications):

• 1.6 Rulesof Inference
  • 1.6.1 Introduction
  • 1.6.2 Valid Arguments in Propositional Logic
  • 1.6.3 Rules of Inference for Propositional Logic
  • 1.6.4 Using Rules of Inference to Build Arguments

Videos:

• TrevTutor
  • Rules of Inference
    • Rules 1
    • Rules 2
    • Derivable Rules

• Neso Academy
  • Rules of Inference - Basic Terminology
  • Rules of Inference - Definition & Types of Inference Rules
  • Arguments Building Using Rules of Inference (Part 1)
  • Arguments Building Using Rules of Inference (Part 2)
  • Checking The Validity of An Argument (Shortcut Method)
  • The Limitation of Propositional Logic

Exercises:

• Neso Academy
  • Rules of Inference in Propositional Logic (Solved Problem 1)
  • Rules of Inference in Propositional Logic (Solved Problem 2)
• TrevTutor
  • Writing a Proof