0 votes 0 votes (pr)(st) p t 1. (pr)(st) Premise 2. p Premise 3. pr 2, Addition 4. st 1, 3 Modus Ponens 5. t 4, Simplification I am not getting two rules 1. addition (p→(pr)) 2. Simplification ((st)→t) How and where we can apply? Mathematical Logic mathematical-logic propositional-logic + – vaishali jhalani asked Nov 16, 2016 edited May 6, 2021 by Shiva Sagar Rao vaishali jhalani 287 views answer comment Share Follow See 1 comment See all 1 1 comment reply Arjun commented Nov 16, 2016 reply Follow Share Whenever there is an implication, try making the RHS false and LHS true. You cannot do it for the above 2 rt? That means the above 2 are tautology. Where we can apply? - Can be directly asked in a question or in form of English sentences. 0 votes 0 votes Please log in or register to add a comment.
0 votes 0 votes 1. disjunctive syllogism 2. elimination You may want to refer to this: https://www.tjhsst.edu/~rlatimer/ai/Logic/logicTable/node1.html sidsunny answered Nov 16, 2016 sidsunny comment Share Follow See all 0 reply Please log in or register to add a comment.