00:01
Okay, in this problem, we have this argument that if i go meet mary, i will not go to see a movie.
00:05
If i do not go to a store, i will meet mary.
00:08
I saw a movie.
00:09
Therefore, i went to a store.
00:10
So we're going to translate this into symbolic form where p, q, and r represent my statements.
00:16
I meet mary, i go see a movie.
00:17
I go to a store.
00:18
So my premise, if i meet mary, i will not see a movie.
00:23
If i meet mary, so that if, then is a directional arrow.
00:28
That's the implication.
00:30
So if i meet mary, p is i meet mary.
00:33
So if i meet mary, i will not see a movie.
00:37
Well, q represents i do go see a movie.
00:39
So we're going to say p implies not q...