00:01
Hello, welcome to this lesson.
00:01
In this lesson, we would construct a proof table for these logics.
00:14
So here we have a p, you have a kill, and we have an arrow.
00:45
Okay, so, okay, so we have all of them here.
01:23
For the purposes of this lesson, we would select this so that we would not have to do it over and over.
01:30
This the base one to copy that okay so we are looking at p in the first place okay then we are also looking at p or kill or our okay so here p of v or p of a is true for at least one of them to be true if one of them is true if one of them is true then the p of them will be true okay so here we have true one of them is the other two are true so here we have true again we have true again we have true again we have true again we have force and a false because none of them is true and here we are using this that we've had with with the r.
02:52
Okay, so that is true.
02:55
Both of them are true.
02:58
One of them is true.
03:00
So that is true.
03:03
Both one of them.
03:07
Both are true.
03:09
Both are true.
03:12
So, well, this one of them.
03:18
Then all of them are false.
03:21
So that is false.
03:23
Okay.
03:23
So that is the first one.
03:27
Let's go to the second one the b that is p or kill and our all right let's place the b's one that we have okay so here we are looking at you're looking at this one so we need p or me we have p or kill we need that so looking at them both are true, both are true.
04:55
One of them is true.
04:58
So one of them is true.
05:02
One of them is true.
05:04
The p is force and that k is true.
05:09
All of them are force and all of them are force.
05:13
Okay, so we are looking at p or koe and r.
05:21
The end is like that the p or k should be true then the out two should be true for it to be true okay so if the two are true then it would be true else it would be false okay so we only find this and that that's true and that's when the end would be true the end that is where it would be true okay let's go to the next one let's copy this one once again okay, so here we are looking at the c part that is p and kill oh, okay, so delete this one as well all right, so let's go on.
08:12
Now we'll find the p and k.
08:17
So looking at them, the only part that it would be true is when both of them are true.
08:26
If one of them is forced, it would be forced.
08:37
So let's play that one with p and k or r.
08:43
So looking at them, this is true when at least one of them, one of this or that is true.
08:54
So here all of them are true.
08:57
Here, the r is true.
09:02
The r is false here, but the p and k are.
09:10
That one is true...
