Условное утверждение «Если А, то Б» истинно во всех случаях, кроме одного: когда А истинно, а Б ложно.