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