ОСНОВАНИЕ И СЛЕДСТВИЕ

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