truth values of conditional statement with false premise  TOPIC_SOLVED

Sequences, counting (including probability), logic and truth tables, algorithms, number theory, set theory, etc.

truth values of conditional statement with false premise

Postby maggiemagnet on Thu Jan 22, 2009 3:34 pm

When you're doing truth tables, why does "P implies Q" evaluate to "true" if P is false? How are "P implies Q" and "P is true only if Q is true" "equivalent"? :confused:
User avatar
maggiemagnet
 
Posts: 287
Joined: Mon Dec 08, 2008 12:32 am

Sponsor

Sponsor
 

  TOPIC_SOLVED

Postby stapel_eliz on Thu Jan 22, 2009 5:45 pm

To a certain extent, the conditional evaluates to "true" because it has to evaluate to something, and "true" makes more sense (or less un-sense, perhaps?). In everyday terms, it's kind of like being able to prove anything, if you start with nonsense. If the moon is made of green cheese, then... heaven only knows where one could go from there!

If "P implies Q" evaluated to "false" when P was false, then you could end up, logically (such as in computer algorithms), stopping processes or making decisions based on that garbage input. By saying "garbage leads to continuing on without change", you don't allow the garbage to stop up the logical workings. Techically, a conditional is defined as being "false" only if P is true and Q is false. And since you're wanting a true P to lead to a true Q, this makes sense.

I will agree that "P is true only if Q is true" is confusing. This seems to be a philosophical / logical convention, that "P only if Q" is another form of "if P, then Q". I don't claim to follow the semantic (English-grammar) sense of this. It's just something to memorize.

Hope that helps a bit! :D

Eliz.
User avatar
stapel_eliz
 
Posts: 1782
Joined: Mon Dec 08, 2008 4:22 pm

Re: truth values of conditional statement with false premise

Postby maggiemagnet on Sat Jan 24, 2009 1:16 am

I guess that kind of makes sense, but that "only if" thing is still weird! :shock:
User avatar
maggiemagnet
 
Posts: 287
Joined: Mon Dec 08, 2008 12:32 am


Return to Discrete Math