Logical consequence

A statement is a logical consequence of another or others when it is impossible for that statement to be false and if the other(s) is (are) true. (See also validity.)