00:01
In this question, we need to prove the validity of the following arguments using the rules of inference.
00:07
Okay.
00:08
So we have this argument p or q, p or r and negation p.
00:15
The conclusion is q and r.
00:19
So let us see whether we can prove this or not.
00:22
So first of all, i will consider this as my premise.
00:25
One, two, and three.
00:28
Okay.
00:28
So i will write here, fourth step, negation p implies r.
00:37
This is from implication.
00:42
Implication on two.
00:47
Then in the fifth step i am getting just r.
00:49
I have applied modus ponen, modest opponent on three and four...