click below
click below
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 |