Словарь логики

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