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

Скачать тест — (Элементы математической логики_75820024.pdf)

Если при любой подстановке вместо переменных из Mi предикат превращается в ложное высказывание, то он называется …
Если при любой подстановке вместо переменных xi из Mi предикат превращается в истинное высказывание, то он называется …
Предикат P(x1,x2,…,xn), заданный на множестве , называется выполнимым, если существует такой набор переменных, взятый из множеств Mi , что при подстановке их вместо xi получим …
Формула алгебры высказываний называется тождественно-ложной, если …
Формула алгебры высказываний называется опровержимой, если …
Формула алгебры высказываний называется выполнимой, если …
Формула … выражает один из законов поглощения
Формула … выражает один из законов де Моргана
Формула, выражающая правило «Дизъюнкция слабее каждого из слагаемых», имеет вид: …
Формула, выражающая правило «Конъюнкция сильнее каждого из сомножителей», имеет вид: …
15. Формула, выражающая правило объединения и разделения посылок, имеет вид: …
Формула, выражающая правило цепного заключения, имеет вид: …
Под высказыванием понимается утвердительное предложение, которое может быть …
Переменные, вместо которых можно подставлять высказывания, называют … переменными
В столбце … таблицы находятся значения функции ↔
В столбце … таблицы находятся значения дизъюнкции
В столбце … таблицы находятся значения функции конъюнкции
В столбце … таблицы находятся значения импликации
Булевская переменная – это переменная, которая принимает …
Булевская функция – это такая функция одного или нескольких булевских переменных, которая принимает