Question
click below
click below
Question
Normal Size Small Size show me how
Rules of Inference
For Discrete Math
Question | Answer |
---|---|
Modus Ponens | p ---> q ... p ... q |
Modus Tollens | p ---> q ... ~q ... ~p |
Hypothetical Syllogism | p --> q ... q-->r ... p-->r |
Disjunctive Syllogism | p or q ... ~p ... q |
Addition | p ... p or q |
Simplification | p and q ... p(or q) |
Conjunction | p ... q ... p and q |
Resolution | p or q ... ~p or r ... q or r |