Импликацией А => В называется высказывание, которое...
ложно тогда и только тогда, когда А ложно и В истинно
ложно тогда, когда истинны оба высказывания А и В
ложно тогда, когда ложны оба высказывания А и В
ложно тогда и только тогда, когда А истинно и В ложно