Первые учения о формах и способах рассуждений возникли в странах Древнего Востока (Китай, Индия), но в основе современной логики лежат учения, созданные в 4 веке до нашей эры древне-греческими мыслителями. Основы формальной логики заложил Аристотель, который впервые отделил логические формы речи от ее содержания.

Это наука о формах и способах мышления.

Основными формами мышления являются понятие, высказывание, умозаключение, доказательство.

Понятие -это форма мышления, фиксирующая основные, существенные признаки объекта. Содержание (совокупность существенных признаков объекта) Объем (совокупность предметов, на которую оно распространяется)

А В С Если имеются какие-либо понятия А,В,С и так далее, то объем каждого понятия (множество) можно представить в виде круга, а отношения между этими объемами (множествами) в виде пересекающихся кругов.

Отобразить с помощью диаграммы множество натуральных чисел А и множество НЕ А.

А 1 НЕ А

Высказывание- это форма мышления, выраженная с помощью понятий, посредством которой что-либо утверждают или отрицают о предметах, их свойствах и отношениях между ними. Истинно Ложно

Умозаключение- это форма мышления, посредством которой из одного или нескольких суждений, называемых посылками, по определенным правилам логического вывода получается новое знание о предметах реального мира. Дедуктивные Индуктивные По аналогии