00:01
We need to break down each and every one of these proofs.
00:05
So for number one, we need to prove p to q directly.
00:09
We actually need to find the names for p and q.
00:13
So what is the assumption? we're starting with p.
00:17
In an indirect proof, you go from left to right.
00:19
You go from the starting point, p, and you end at the conclusion, q.
00:26
That's what a direct proof is.
00:28
You start somewhere and then you end from somewhere.
00:33
Now for number two, if you want to use a proof by contradiction, you do this much more indirectly.
00:41
It's not like number one up here.
00:44
You have to assume that q is not true.
00:50
And given that, what you need to do in between is you need to show that there's a contradiction.
00:55
You might have some statements are and another statement not r.
01:02
In other words, you have r and its negation...