00:01
Okay, what we have here are statements that are conditional, are the words of the form, p implies q.
00:09
If p, then q.
00:12
Now, if i negate this, the end result is going to be p and not q.
00:22
So p implies q, negated is p and not q.
00:26
That applies in all four cases here.
00:28
So the first one, we have if x is odd, then x squared is even.
00:37
So if and then the p is x squared is odd and the p is x is odd and the q is x squared is even, which means the negation has to be x is odd and x squared is not even, which means odd.
01:06
So the first one then, x is an odd integer and x squared is an odd integer.
01:19
Number two, we have x plus y is odd and y plus z is odd, then x plus z is odd.
01:29
So the first two then form the statement p...