25 February 2004
CS 3243 - Logical Agents (part 2)
8
Reasoning Patterns in Prop Logic
nGiven(s)
nConclusion
n
n
nA Þ B, A
nB
n
nB Ù A
nA
n
nRules that allow us to introduce new propositions while preserving truth values: logically equivalent
n
nTwo Examples:
nModus Ponens
n
nAnd Elimination
n