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
; 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.