Формы мышления

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

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

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

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

         В алгебре высказываний высказывания обозначаются именами логических переменных, которые могут принимать лишь два значения: «истина» (1) и «ложь» (0).