Friday, August 28, 2009

if X then Y logic

If X then Y. This implies that
if NOT Y, then not X.

I explain it here.
If X then Y can also be expressed as "Y contains X in a Venn diagram". This can only mean one thing. NOT X contains NOT Y. That means if NOT Y, then NOT X.

Note that I am using a relationship between the word "contains" and "if ... then ..." statements. Here, they are interchangeable. "If premise, then conclusion" means that the premise is contained in the conclusion, or the conclusion contains the premise. If the conclusion is false, then the premise is false.

Also note that I am only talking about a single premise and a single conclusion. More posts might follow one or more premises or conclusions.

No comments:

Post a Comment