закон импликации, – произнес Тарутин. – Условное суждение ложно и только тогда, когда его антецендент – истинное суждение, его консеквент – ложное суждение.