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:
glaceon said:
If I find $1, I'll go to the movies.
I found $1.
What type of argument, and is it valid?
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:
glaceon said:
If I get $5, I will buy a car.
I didn't find $5.
What type of argument, is it valid?
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.