| engineerklub | Дата: Суббота, 07.01.2023, 18:39 | Сообщение # 1 |
 Генералиссимус
Группа: Администраторы
Сообщений: 29643
Статус: Offline
| Элементы математической логики
Тип работы: Тесты
Форматы файлов: Microsoft Word
Сдано в учебном заведении: Синергия МФПУ и МОИ
Описание:
Элементы математической логики, тест
Формула, выражающая правило цепного заключения, имеет вид: …
в столбце … таблицы находятся значения импликации
Формула алгебры высказываний называется тождественно-ложной, если …
Если при любой подстановке вместо переменных xi из mi предикат превращается в истинное высказывание, то он называется …
в столбце … таблицы находятся значения функции ↔
в столбце … таблицы находятся значения функции конъюнкции
Формула … выражает один из законов поглощения
Если при любой подстановке вместо переменных из mi предикат превращается в ложное высказывание, то он называется …
Формула, выражающая правило «конъюнкция сильнее каждого из сомножителей», имеет вид: …
Переменные, вместо которых можно подставлять высказывания, называют … переменными
Формула алгебры высказываний называется опровержимой, если …
Булевская функция – это такая функция одного или нескольких булевских переменных, которая принимает
Формула алгебры высказываний называется выполнимой, если …
Формула, выражающая правило «дизъюнкция слабее каждого из слагаемых», имеет вид: …
предикат p(x1,x2,...,xn), заданный на множестве , называется выполнимым, если существует такой набор переменных, взятый из множеств mi , что при подстановке их вместо xi получим …
Формула … выражает один из законов де моргана
Булевская переменная – это переменная, которая принимает …
Под высказыванием понимается утвердительное предложение, которое может быть …
формула, выражающая правило объединения и разделения посылок, имеет вид: …
в столбце … таблицы находятся значения дизъюнкции
правило modus tollens имеет вид …
правило modus рonenc имеет вид …
СКАЧАТЬ
|
| |
| |
