Список вопросов базы знаний

___ - это форма мышления, посредством которой из одного или нескольких высказываний получается новое знание о предметах реального мира (вывод)

___ впервые отделил логические формы мышления (речи) от его содержания и заложил основы формальной логики

___ высказывание – высказывание, состоящее из простых высказываний

___ - объекты алгебры логики

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

___ - суждение, на основании которого делается вывод или умозаключение

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

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

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

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

___ Эйлера-Венна предназначены для наглядной геометрической иллюстрации объемов понятий и соотношений между ними

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

___ – логическая операция объединения двух (или нескольких) высказываний с помощью союза «или»

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

___ высказывание – высказывание, в котором связь понятий искажает объективные отношения, не соответствует реальной действительности

___ логики отражают закономерности логического мышления

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

___ – возможность менять местами логические переменные при операциях логического умножения и логического сложения

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

В алгебре логики в логических выражениях первой выполняется операция «___»

В алгебре логики все логические функции могут быть выражены путем логических преобразований через три базовые

В алгебре логики высказывания обозначаются именами логических переменных, которые могут принимать значения

В алгебре логики закон ___ двойного записывается формулой

В алгебре логики законы Де ___ записываются формулой

В алгебре логики законы логики записываются в виде___ которые позволяют проводить равносильные преобразования логических выражений

В алгебре логики к законам логики относятся законы

В алгебре логики к правилам логических преобразований относятся

В алгебре логики операция логического отрицания называется

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

В алгебре логики, согласно закону непротиворечия, логическое произведение высказывания и его отрицания - ___ (истинно, ложно)

В доказательстве подвергается ___ проверке истинность самих посылок

В структуре каждого понятия различаются две стороны:

В умозаключении, исходя из истинности посылок, следят за правильностью ___ вывода

Высказывание называется ___, если никакая его часть сама не является высказыванием.

Высказывание, в котором связь понятий искажает объективные отношения, не соответствует реальной действительности, называется

Высказывание, в котором связь понятий правильно отражает свойства и отношения реальных вещей, называется

Высказывание, в котором связь понятий правильно отражает свойства и отношения реальных вещей, называется

Высказывание, составленное с помощью логической операции эквивалентности, «Компьютер может производить вычисления тогда и только тогда, когда компьютер включен» - ___ (ложно, истинно)

Высказывание, составленное с помощью логической операции эквивалентности, «Компьютер может производить вычисления, когда компьютер не включен» - ___ (ложно, истинно)

Высказывание, составленное с помощью логической операции эквивалентности, «Компьютер не может производить вычисления тогда и только тогда, когда компьютер включен» - ___ (ложно, истинно)

Высказывание, составленное с помощью логической операции эквивалентности, «Компьютер не может производить вычисления тогда и только тогда, когда компьютер не включен» - ___ (ложно, истинно)

Высказывание, состоящее из простых высказываний, называется

Дизъюнкция – логическая операция объединения двух (или нескольких) высказываний с помощью союза

Дизъюнкция – логическая операция объединения двух (или нескольких) высказываний с помощью союза «___»

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

Для записи логических выражений на формальном языке в составном высказывании выделяются

Для наглядной геометрической иллюстрации объемов понятий и соотношений между ними используются диаграммы

Для обозначения равносильных логических выражений используется знак

Если дважды отрицать некоторое высказывание, то в результате получится ___ (новое, исходное) высказывание

Если логическая операция с двумя переменными («если А, то В») обозначается А⇒В, то операция называется логическое следование или