Логика – наука о формах и способах мышления.
Мышление всегда осуществляется в каких-то формах. Основными формами мышления являются понятие, высказывание (суждение) и умозаключение.
Понятие – это форма мышления, фиксирующая основные, существенные признаки объекта.
Для наглядной геометрической иллюстрации объемов понятий и соотношений между ними используется диаграммы Эйлера-Венна (круги Эйлера). Если имеются какие-либо понятия А, В, С и т.д., то объем каждого понятия (множество) можно представить в виде круга, а отношения между этими объектами (множествами) – в виде пересекающихся кругов.
Высказывание – это форма мышления, в которой что-либо утверждается или отрицается о реальных предметах, их свойствах и отношениях между ними. Высказывание может быть истинно (1) или ложно (0).
Умозаключение – это форма мышления, с помощью которой из одного или нескольких высказываний (посылок) может быть получено новое высказывание (вывод).
Доказательство – мыслительный процесс, направленный на подтверждение или опровержение какого-либо положения посредством других несомненных раннее обоснованных доводов.