ЗАКОН ИМПЛИКАЦИИ

условное суждение ложно тогда и только тогда, когда его антецедент – истинное суждение, а его консеквент – ложное суждение.