Rules of Inferences
Argument Form
premise 1 premise 2 premise
conclusion
Example
How to prove that is true?
Disjunctive Syllogism tells us
1 min read
premise 1 premise 2 ⋮ premise n
∴ conclusion
¬p∨r r→s ¬s
∴¬p
How to prove that ¬p is true?
Disjunctive Syllogism tells us p∨q ¬p
∴q