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

ID: 232290
Дата закачки: 04 Января 2023
Продавец: olgarost (Напишите, если есть вопросы)
Посмотреть другие работы этого продавца

Тип работы: Тесты
Форматы файлов: Microsoft Word
Сдано в учебном заведении: Синергия МФПУ и МОИ

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

Комментарии: Декабрь 2022. 96 баллов из 100

Размер файла: 175,2 Кбайт
Фаил: