- части условного высказывания, устанавливающего, что одно событие, состояние и т. п. является в том или ином смысле условием или основанием для другого. Условное высказывание обычно формулируется с помощью связки "если..., то...". Высказывание, идущее после слова "если", называется основанием или антецедентом (предыдущим); высказывание, идущее после слова "то", называется следствием или консеквентом (последующим). Напр., в высказывании "Если по проводнику течет ток, то вокруг проводника образуется магнитное поле" высказывание "по проводнику течет ток" - О., "вокруг проводника образуется магнитное поле" - С. Условное высказывание в языке логики представляется импликацией; входящие в нее высказывания также называются: одно - О. (антецедентом), другое - С. (консеквентом).