Логика

логическая операция объединения двух и большего числа понятий, в результате которой образуется новое понятие, включающее в свой объём только те объекты, которые являются общими для объёмов исходных понятий. Объём нового понятия, или результат умножения, на круговых схемах Эйлера изображается штриховкой.

форма мышления, в которой из нескольких исходных суждений (посылок) вытекает новое суждение (вывод).

представляет собой преобразования простых суждений (обращение, превращение и противопоставление предикату) и выводы по логическому квадрату. В нём вывод делается из одной посылки.

умозаключение, в котором вывод делается из нескольких посылок. Они делятся на дедуктивные, индуктивные и умозаключения по аналогии. . В нём вывод делается из одной посылки.