Page 106 - DCAP310_INTRODUCTION_TO_ARTIFICIAL_INTELLIGENCE_AND_EXPERT_SYSTEMS

Introduction to Artificial Intelligence & Expert Systems

Notes 6.5.1 The Standard Form of Rules of Inference

Rules for Conditionals

Deduction Theorem (or Conditional Introduction)
ϕ ψ
ϕ→ ψ
Modus Ponens (or Conditional Elimination)
ϕ→ ψ
ϕ
ψ
Modus Tollens
ϕ→ ψ
¬ψ
¬ϕ
Rules for Conjunctions

Adjunction (or Conjunction Introduction)
ϕ
ψ
ϕ∧ ψ
Simplification (or Conjunction Elimination)
ϕ∧ ψ
ϕ
ϕ∧ ψ
ψ

Rules for Disjunctions

Addition (or Disjunction Introduction)

ϕ
ϕ∨ ψ
ψ
ϕ∨ ψ
Case Analysis
ϕ∨ ψ
ϕ→ χ
ψ→ χ
χ

100 LOVELY PROFESSIONAL UNIVERSITY