Well, it is certainly not my definition. It has been in use for centuries. The operative word is

**implies**. The truth of

*P* implies the truth of

*Q*;

*Q* follows

*P*; if

*P* is true then

*Q* is true.

**Absolutely NOT**.

Let's agree that this is an empirically true statement: "If it rains then the grass is wet".

I wake today and see that my yard is thoroughly wet. May I conclude that it has rained. No indeed, the sprinkler came on at 3am to water the grass. So

*P*, it rained, is false but

*Q*, the grass is wet, is true. Does that make the statement "If it rains then the grass is wet" incorrect?

**Not at all!** It is still a fact.

What would make it not a fact? Well suppose you saw a really hard rain, but the grass around you is still bone dry. That falsifies the statement.