Akademik

суждение, логически вытекающее из посылок умозаключения; суждение, являющееся заключит. результатом вывода, состоящего из нескольких умозаключений, и логически вытекающее из посылок вывода; формула логич. исчисления, следующая из посылок – формул этого исчисления – по принятым в нем правилам вывода; иначе наз. логич. следствием. При рассмотрении доказательства заключением иногда наз. т е з и с доказательства. З. также наз. ту часть теоремы, к-рая, если теорему выразить в виде условного предложения "если А, то В", стоит после слова "то" (В) и следование к-рой из условия (А) теоремы является предметом доказывания. Иногда термин "З." употребляется в смысле умозаключения или же в смысле вывода. В др. случаях З. наз. совокупность положений, к.-л. образом вытекающих (или представляющихся вытекающими) из предшествующего изложения в книге, докладе, лекции и пр.