| email this FAQ to a colleague
Q: Can someone explain the imp operator? A: Implies...as in A implies B (written A => B) is false exactly when A is true
but B is false. Means that one thing implies something else is true: "If Columbus discovered America, then Aristotle was a Greek" Since Aristotle was in fact Greek, then this sentence is either "If true
then true" or "If false then true". However this sentence is false by
common sense. By the definition above, the sentence is true. The fact is, the sentence
cannot be proven false based on the first condition. This is a very common
operator in Logic and Abstract Algebra. - David Penton |
