Основание И Следствие

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