Понятие – это  форма мышления, фиксирующая основные, существенные признаки объекта.

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

 

Высказывание – это  форма мышления, в которой что-либо утверждается или отрицается о реальных предметах, их свойствах и отношениях между ними. Высказывание может быть истинно (1)  или ложно (0).

Умозаключение – это форма мышления, с помощью которой из одного или нескольких высказываний (посылок) может быть получено новое высказывание (вывод).

Доказательство – мыслительный  процесс, направленный на подтверждение или опровержение какого-либо положения посредством других несомненных раннее обоснованных доводов.