17 Mar 2005
CS 3243 - Logical Inference
23
• Resolution works by refutation
• What about proving propositions directly?
Other Reasoning Patterns
Given(s)
Conclusion
A Þ B, A
B
n
B Ù A
A
n
Rules that allow us to introduce new propositions while preserving truth values: logically equivalent
nTwo Examples:
nModus Ponens
nAnd Elimination
