Условные суждения

Условным называется суждение, полученное из любых двух других суждений посредством логического союза «если…, то». В условном суждении «Если А, то В» составляющая А называется основанием или антецедентом, а составляющая В – следствием или консеквентом. 
Логический союз «Если…, то» не следует путать с грамматическим союзом. Обычно этот союз выражает приинную или иную какую – либо связь следования методу А и В. Логический же союз «если…, то», как и все вышеописанные союзы, может следить любые суждения и не требует содержательной связи между ними. Условное суждение «Если А, то В» является функцией истинности составляющих А и В и его истинность или ложность зависит не от их смысла, а лишь от их истинности или ложности.
Существует следующая семантическая зависимость: условное суждение ложно, тогда, когда его основание истинно, а следует ложно, и истинно во всех остальных случаях.