命题逻辑 蕴含连接词

《离散数学及其应用》里面有解答。大意是设A为当上总统，B为给公民提高福利。A->B表示：我当上了总统后，给公民提高了福利，证明我实现了诺言（T）。如果我当上总统，却没有为公民提高福利，证明我违背了诺言（F）。再如果我没当上总统，不论我有没有为公民提高福利，都不能说我违背了诺言，因为前提条件都没有成立。