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

Основные операции над множествами включают следующие операции

Пара теорем, у которых условие и заключение одной является отрицанием соответственно условия и заключения другой, называются

По числу элементов, входящих в множество, множества делятся на классы, в которые входят ___ множества

Повествовательные предложения, в которых содержится одна или более чем одна связка называются

Под выражением - x Р(х) понимают высказывание

Под высказыванием понимается повест­вовательное предложение, которое имеет следующее свойство

Предикат Р(х), определенный на множестве М, называется тождественно истинным ), если

Предложение, видоизмененное словом «не», называется ___первоначального предложения

Предложение, образованное соединением двух предложений связкой «если .... то...», называется

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

Предложение, образованное соединением двух предложений словом «и», называется

Предложение, образованное соединением двух предложений словом «или», называется

Преобразования формул заключающиеся в замене части формулы или всей формулы равносильной ей, называются ___

Приведите в соответствие следующие определения

Приведите в соответствие теоремы и их запись в символической форме

Применение кванторной операции к двухместному предикату P(х,у) по переменной х превращает его

Примерами бесконечных множеств являются

Примерами пустых множеств являются

Принадлежность данного элемента конкретному множеству записывается с помощью знака

Принимаемые без доказательства основные положения рассматриваемой теории называются

Произвольная функция переменного х, определенная на множестве М и принимающая значения из множества {1,0}, называется ___ предикатом

Произвольная функция переменного х, определенная на множестве М и принимающая значения из множества {1,0}, называется ___

Пусть A={2,3,4,5,6}. Тогда отношение где х делитель y, содержит следующие элементы

Пусть x=1,2,…,10. Для предикатов Р(х): «х – четное число» и Q(х); «х кратно 3» дизъюнкцией Р(х) ∪Q(х) является предикат

Пусть А и В – множества. Выражение вида (а, b), где a ∈A и b∈ B, называется___

Пусть А(х) – одноместный предикат. Тогда верны следующие равносильности

Равносильность формул обычно обозначается знаком

Разность двух множеств А={a; b; c; d} и B={c; d; e} содержит следующие элементы

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

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

Современную математическую логику определяют как раздел математики, посвященный

Солнце светит и на дворе холодно» представляет собой

Теория, в которой для любого высказывания S этой теории оно само или его отрицание есть теорема, называется

Тип исчисления пре­дикатов, который допускает применение кван­торов только к предметным переменным, называют узким исчислением предикатов или исчислением предикатов

Укажите правильный порядок выполнения действий в формуле x∩y→х∪z

Укажите соответствие между названием операции и ее обозначением

Укажите соответствие между обозначением логической операции и ее словесным выражением

Укажите соответствие между прямой и обратной теоремой

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

Укажите соответствие между типами равносильностей и их формулировкой

Укажите соответствие между типом множества и его характеристикой

Условием теоремы «Если точка х лежит на биссектрисе угла, то она равноудалена от сторон этого угла». является предикат Р(х)= «Точка х лежит на биссектрисе угла», а заключением – предикат Q(x)= «Точка х равноудалена от сторон угла». Тогда теорему можно записать в виде

Формула (x∩y)∪z представляет собой

Формула

Формула x→(y→x)

Формула А логики предикатов называется ___ в области М, если существуют значения переменных, входящих в эту формулу и отнесенных к области М, при которых формула А принимает ___

Формула А называется ___, если она тождественно истинная на всякой области.

Формула В есть логичес­кое следствие формул (в исчислении предикатов), если для каждого поля D формула В получает значение 1 каждый раз,

Формула логики предикатов А называется тождественно истинной в области М, если она принимает истинные значения

Формула логики предикатов имеет нормальную форму, если она содержит только операции