Закон импликации
Закон импликации
условное суждение ложно тогда и только тогда, когда его антецедент – истинное суждение, а его консеквент – ложное суждение.
Источник: Традиционная логика. Словарь по книге