I am not getting two rules 1. addition (p→(pr))
2. Simplification ((st)→t)
How and where we can apply?
1. disjunctive syllogism
2. elimination
You may want to refer to this: https://www.tjhsst.edu/~rlatimer/ai/Logic/logicTable/node1.html
64.3k questions
77.9k answers
243k comments
79.6k users