Logical implication
From Wikipedia, a free encyclopedia written in simple English for easy reading.
Logical implication (also known as implies, or If ... then) is a logical operation. It takes two arguments. It returns false, only if the first term is true, and the second term is false.
This may be problematic, because it means that from a false proposition, anyithing can follow.
[edit] Examples
The following shows a (valid) implication
Now look at If I am healthy, I will come to class. There are four possibilities
- I am healthy, and I come to class. I have kept my promise.
- I am healthy, and I do not come to class. I have not kept my promise
- I am not healthy, and I do come to class. I have kept my promise.
- I am not healthy,and I do not come to claaa. I have kept my promise.
This short article needs someone to make it better.
You can help Wikipedia by adding to it.