Логика

Cogito, ergo sum (лат. — «Мыслю, следовательно, существую») — философское утверждение Рене Декарта

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

Основные формы мышления:

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

Понятие имеет две стороны:

Содержание составляет совокупность существенных признаков объекта.

Объём - совокупность предметов, на которую оно распространяется.

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

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

Высказывание может быть истинным или ложным.

Ложным высказывание будет в том случае, когда оно не соответствует реальной действительности.

На основании простых высказываний могут быть построены составные высказывания (простые высказывания, соединённые с помощью логических связок).

Логические связки: не, и, или, если и т.д.

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