Алгебра логики

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

• Логика

• Мышление

• Математика

• Психология

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

• Логика

• Понятие

• Мышление

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

• Отношение

• Понятие

• Высказывание

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

• Умозаключение

• Понятие

• Суждение

• Отношение

Математический аппарат, с помощью которого записывают, вычисляют, упрощают и преобразовывают логические высказывания-

• Логика

• Алгебра логики

• Математическая логика

• Геометрия логики

Любое повествовательное предложение, в отношении которого можно однозначно сказать, истинно оно или ложно…

• Высказывание

• Логическое высказывание

• Математическое Высказывание

• Предложение

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

называются ……….

• Логическими связками

• Логическими продолжениями

• Логическими предлогами

• Союзами

Объединение двух (или нескольких) высказываний в одно с помощью союза «и» называется операцией …………………….

• Логического умножения (конъюнкцией)

• Логического сложения (дизъюнкцией)

• Логического отрицания (инверсией)

• Эквиваленцией

Объединение двух (или нескольких) высказываний с помощью союза «или» называется операцией ………………….

• Логического умножения (конъюнкцией)

• Логического сложения (дизъюнкцией)

• Логического отрицания (инверсией)

• Эквиваленцией

Присоединение частицы «не» к высказыванию называется операцией …….

• Логического умножения (конъюнкцией)

• Логического сложения (дизъюнкцией)

• Логического отрицания (инверсией)

• импликацией