Итоговый тест Элементы математической логики

Элементы математической логики, тест
Формула, выражающая правило цепного заключения, имеет вид: ...
в столбце ... таблицы находятся значения импликации
Формула алгебры высказываний называется тождественно-ложной, если ...
Если при любой подстановке вместо переменных xi из mi предикат превращается в истинное высказывание, то он называется ...
в столбце ... таблицы находятся значения функции ↔
в столбце ... таблицы находятся значения функции конъюнкции
Формула ... выражает один из законов поглощения
Если при любой подстановке вместо переменных из mi предикат превращается в ложное высказывание, то он называется ...
Формула, выражающая правило «конъюнкция сильнее каждого из сомножителей», имеет вид: ...
Переменные, вместо которых можно подставлять высказывания, называют ... переменными
Формула алгебры высказываний называется опровержимой, если ...
Булевская функция – это такая функция одного или нескольких булевских переменных, которая принимает
Формула алгебры высказываний называется выполнимой, если ...
Формула, выражающая правило «дизъюнкция слабее каждого из слагаемых», имеет вид: ...
предикат p(x1,x2,...,xn), заданный на множестве , называется выполнимым, если существует такой набор переменных, взятый из множеств mi , что при подстановке их вместо xi получим ...
Формула ... выражает один из законов де моргана
Булевская переменная – это переменная, которая принимает ...
Под высказыванием понимается утвердительное предложение, которое может быть ...
формула, выражающая правило объединения и разделения посылок, имеет вид: ...
в столбце ... таблицы находятся значения дизъюнкции
правило modus tollens имеет вид ...
правило modus рonenc имеет вид ...

Декабрь 2022. 96 баллов из 100