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

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

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


  1. основание и следствие—части условного высказывания устанавливающего что одно событие состояние и т. п. является в том или ином смысле условием или основанием для другого. Условное высказывание...Словарь логики