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

Двухместными предикатами являются предикаты

Декартово произведение двух множеств А={a; b; c; d} и B={c; d; e} в числе прочих содержит элементы

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

Дизъюнкция двух высказываний ложна тогда и только тогда, когда

Дистрибутивность конъюнкции относительно дизъюнкции выражается следующей равносильностью

Для обозначения логической операции дизъюнкции используется символ

Для обозначения логической операции импликации используется символ

Для обозначения логической операции конъюнкции используется символ

Для предикатов Р(х): «х – четное число» и Q(х); «х кратно 3» конъюнкцией Р(х) ∩Q(х) является предикат

Доказательство непротиворечивости аксиоматических теорий можно осуществить методами

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

Если обозначить через R(x) предикат «х – рациональное число», а через Q(x) – предикат «х – действительное число», эту фразу «некоторые действительные числа являются рациональными» можно записать так

Если обозначить через R(x) предикат «х – рациональное число», а через Q(x) – предикат «х – действительное число», эту фразу «Ни одно рациональное число не является действительным» можно записать так

Если при росте цены товара объем его продаж падает до нуля, то имеет место

Если теория Т содержит такое высказывание S, что оно само и его отрицание являются теоремами, то она называется ___

Если формула А принимает значение 0 при всех значениях входящих в нее переменных, то она называется

Если формула А принимает значение 1 при всех значениях входящих в нее переменных, то она называется

Если формула алгебры логики содержит n элементарных высказываний, то она принимает

Если формула исчисления высказываний не содержит скобок, укажите порядок выполнения операций

Законы де Моргана связывают операции

Из приведенных формул нормальной дизъюнктивной формулой является

Импликацию двух высказываний Р и Q можно выразить следующим сложным высказыванием

Импликация двух высказываний ложна тогда и только тогда, когда

Инволютивностью отрицания называется следующая равносильность

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

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

К числовым множествам относятся

Какие выражения являются формулами исчисления высказываний

Какое выражение не является не являются формулой исчисления высказываний

Квантор существования обозначается символом

Кванторные операции можно рассматривать как обобщение операций

Коммутативность конъюнкции выражается следующей равносильностью

Конечные и бесконечные множества могут быть заданы указанием общего свойства элементов множества, т.е. такого свойства, которым обладает любой элемент данного множества и не обладает ни один элемент, не принадлежащий ему. Такое свойство называется ___

Конъюнкция двух высказываний истинна тогда и только тогда, когда

Логическим значением формулы x∩y→z в случае, если x=1, у=1, z=0 будет

Множество А натуральных чисел, меньших, чем 10 можно задать следующим образом

Множество всех элементов множества А, не принадлежащих множеству В, называют ___ к множеству В

Множество всех элементов х ∈ М, при которых предикат принимает значение «истина», называется

Множество гласных букв в слове “математика”- это конечное множество, состоящее из ___ элементов

Множество истинности предиката Р(х) - это множество

Множество М элементов любой природы {х,у,z,...}, в котором определены отношение «=» (равно) и три операции: «+» (сложение), «*» (умножение) и «-» (отрицание), подчиняющиеся аксиомам поглощения, де-Моргана, двойного отрицания, идемпотентности, а также дистрибутивным и ассоциативным законам, называется

Непротиворечивость аксиоматической теории означает, что

Область истинности импликации предикатов Р(х)→Q(x), (х ∈ М )называется новый предикат, область истинности которого есть

Область истинности отрицания предиката , (х ∈ М )называется новый предикат, область истинности которого есть

Область истинности предиката Р(х) ∩ Q(х), где х∈М,

Областью истинности предиката Р(х) ∪ Q(х) является

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

Объекты, из которых состоит множество, называются его ___

Операция над предикатами Р(х) и Q(х)),результирующий предикат которой является ложным при тех и только тех значениях х ∈ М, при которых одновременно Р(x) принимает значение «истина», а Q(x) - значение «ложь» и принимает значение «истина» во всех остальных случаях, называется ___

Операция объединения двух множеств А и В обозначается как