蕴含：如果那么

"如果 P 那么 Q"（记作 P→Q）是一种承诺：只要 P 成立，就保证 Q 也成立。它只有一种情况为假——P 真但 Q 假（承诺被打破）。特别地，当 P 本身为假时，这个承诺没被违背，整句算真。