Импликация ложна, когда…
Хотя бы одно исходное высказывание истинно.
Оба исходных высказывания истинны.
Из истинного высказывания следует ложное.
Оба исходных высказывания ложны.