I've prepared you for this: The Implication:
The implication operator means that one thing leads to another. Hence it's an arrow sign: →
The statement: p→q means that if p is true, then q must be true. Going back to glaceon's problem, he wrote:
So we assign the propositions as so:
p = Finding $1
q = Going to the movies
He said that if he finds $1, then he'll go to the movies, so p→q, because if p (he finds $1) is true, the q (he will go to the movies) must be true. He then said that p is indeed true. So q is true and he will go to the movies. This is called Modus Ponens (no you don't have to remember that, lol).
Now let's move on to glaceon's most recent question:
We assign the propositions as so:
p = Finding $5
q = Buying a car
Again, he said that if he gets $5, then he'll buy a car, so p→q. But this time, he didn't get the money, so p is false, not true. Does that mean q is false too? People who say that are wrong and commit a fallacy called "Denying the Hypothesis". If p is false, q is not necessarily false too. Someone might help him pay the car, he could find a discount, or something that would let him buy a car even if he didn't find the $5 he wanted.
So that's it, lol.
