edited by
287 views
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?

edited by

1 Answer

Related questions

0 votes
0 votes
0 answers
4