Общие понятия форм мышления.

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

Законы логики отражают в сознании человека свойства, связи и отношения объектов окружающего мира. Логика позволяет строить формальные модели окружающего мира, отвлекаясь от содержательной стороны.

Мышление всегда осуществляется в каких-то формах.

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

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

Понятие представляет существенные признаки объекта, которые отличают его от других объектов. Объекты, объединенные понятием, образуют некоторое множество. Например, понятие «компьютер» объединяет множество электронных устройств, котрые предназначены для обработки информации.

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

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

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

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

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

Алгебра высказываний была разработана для того, чтобы можно было определить истинность или ложность составных высказываний, не вникая в их содержание.

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

А – 4/2 = 2

В – 4/2 = 3

Высказывания могут быть истинными или ложными. Истинному высказыванию соответствует значение логической переменной 1, а ложному – значение 0. В нашем случае А = 1 (истинно), В = 0 (ложно).

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

В алгебре высказываний над высказываниями можно проводить логические операции, в результате которых получаются новые, составные высказывания. Для образования новых высказываний наиболее часто используются базовые логические операции, выражаемые с помощью логических связок «и», «или», «не» и др.

Из простых высказываний можно строить более сложные, применяя так называемые логические связи.

Логические связи – это функции алгебры логики, аргументами которых являются простые высказывания.

В алгебре логики выделяют базовые логические операции: логическое умножение (конъюнкция), логическое сложение (дизъюнкция), логическое отрицание (инверсия).