For I1:
let p=Socrates is human
q=Socrates is mortal
p->q=If Socrates is human then Socrates is mortal
then [(p->q)^p]->q is ture according to MODUS PONENS
So I1 is correct
For I2:
let p=It rains today
q=Made Easy will close
p->q=If it rains today then Made Easy will close
Therefore,
~q=Made Easy will not close today
~p=It wil not rain today
So [(p->q)^~q]->~p is ture according to MODUS TOLLENS
So I2 is also true....
Hope it helps....
