Непротиворечивость аксиоматической теории означает, что из данной системы аксиом нельзя логическим путем вывести два противоречащих
Вопрос посетителя
Импликация двух высказываний ложна тогда и только тогда, когда
(*ответ*) 1-е высказывание истинно, а 2-е ложно
2-е высказывание истинно, а 1-е ложно
оба составляющих высказывания ложны
оба составляющих высказывания истинны
Исчисление предикатов занимается теорией вывода, основанной на структуре предложений, использующей _, _и _
(*ответ*) связки
(*ответ*) предикаты
(*ответ*) кванторы
соединительные союзы
К числовым множествам относятся
(*ответ*) множества всех целых чисел
множества всех подмножеств данного множества
множество всех букв русского алфавита
множество символов арифметических операций
Кванторные операции можно рассматривать как обобщение операций
(*ответ*) конъюнкции и дизъюнкции на случай бесконечных областей
конъюнкции и отрицания на случай бесконечных областей
дизъюнкции и отрицания на случай бесконечных областей
конъюнкции и импликации на случай бесконечных областей
Конечные и бесконечные множества могут быть заданы указанием общего свойства элементов множества, т.е. такого свойства, которым обладает любой элемент данного множества и не обладает ни один элемент, не принадлежащий ему. Такое свойство называется _
(*ответ*) характеристическим
Конъюнкция двух высказываний истинна тогда и только тогда, когда
(*ответ*) оба составляющих высказывания истинны
оба составляющих высказывания ложны
1-е высказывание истинно, а 2-е ложно
2-е высказывание истинно, а 1-е ложно
Логическим значением формулы xÙyz в случае, если x=1, у=1, z=0 будет
(*ответ*) 0
1
-1
2
Множество А натуральных чисел, меньших, чем 10 можно задать следующим образом
(*ответ*) А={1; 2; 3; 4; 5; 6; 7; 8; 9}
(*ответ*) А={z│z<10, z Є N}
А={1…9}
A+{1,2…9}
Множество всех элементов множества А, не принадлежащих множеству В, называют _ к множеству В
(*ответ*) дополнением
Множество всех элементов х М, при которых предикат принимает значение «истина», называется
(*ответ*) множеством истинности предиката Р(х)
областью определения предиката Р(х)
областью изменения предиката Р(х)
множеством существования предиката Р(х)
Множество гласных букв в слове “математика”- это конечное множество, состоящее из _ элементов
(*ответ*) 3
4
5
2
Множество истинности предиката Р(х) — это множество
(*ответ*) Ip = {х: х М, Р(х) = 1}
Ip = {х: х М, Р(х) = 0}
Ip = {х: х М, Р(х) = 1}
Ip = {х: х М, Р(х) = 0}
Множество М элементов любой природы {х,у,z,…}, в котором определены отношение «=» (равно) и три операции: «+» (сложение), «*» (умножение) и «-» (отрицание), подчиняющиеся аксиомам поглощения, де-Моргана, двойного отрицания, идемпотентности, а также дистрибутивным и ассоциативным законам, называется
(*ответ*) булевой алгеброй
Непротиворечивость аксиоматической теории означает, что
(*ответ*) из данной системы аксиом нельзя логическим путем вывести два противоречащих друг другу утверждения
из данной системы аксиом можно логическим путем вывести два противоречащих друг другу утверждения
существуют утверждения, которые нельзя ни доказать ни опровергнуть в данной системе аксиом
существуют утверждения, которые нельзя доказать в данной системе аксиом
Ответ эксперта
Импликация двух высказываний ложна тогда и только тогда, когда
(*ответ*) 1-е высказывание истинно, а 2-е ложно
2-е высказывание истинно, а 1-е ложно
оба составляющих высказывания ложны
оба составляющих высказывания истинны
Исчисление предикатов занимается теорией вывода, основанной на структуре предложений, использующей _, _и _
(*ответ*) связки
(*ответ*) предикаты
(*ответ*) кванторы
соединительные союзы
К числовым множествам относятся
(*ответ*) множества всех целых чисел
множества всех подмножеств данного множества
множество всех букв русского алфавита
множество символов арифметических операций
Кванторные операции можно рассматривать как обобщение операций
(*ответ*) конъюнкции и дизъюнкции на случай бесконечных областей
конъюнкции и отрицания на случай бесконечных областей
дизъюнкции и отрицания на случай бесконечных областей
конъюнкции и импликации на случай бесконечных областей
Конечные и бесконечные множества могут быть заданы указанием общего свойства элементов множества, т.е. такого свойства, которым обладает любой элемент данного множества и не обладает ни один элемент, не принадлежащий ему. Такое свойство называется _
(*ответ*) характеристическим
Конъюнкция двух высказываний истинна тогда и только тогда, когда
(*ответ*) оба составляющих высказывания истинны
оба составляющих высказывания ложны
1-е высказывание истинно, а 2-е ложно
2-е высказывание истинно, а 1-е ложно
Логическим значением формулы xÙyz в случае, если x=1, у=1, z=0 будет
(*ответ*) 0
1
-1
2
Множество А натуральных чисел, меньших, чем 10 можно задать следующим образом
(*ответ*) А={1; 2; 3; 4; 5; 6; 7; 8; 9}
(*ответ*) А={z│z<10, z Є N}
А={1…9}
A+{1,2…9}
Множество всех элементов множества А, не принадлежащих множеству В, называют _ к множеству В
(*ответ*) дополнением
Множество всех элементов х М, при которых предикат принимает значение «истина», называется
(*ответ*) множеством истинности предиката Р(х)
областью определения предиката Р(х)
областью изменения предиката Р(х)
множеством существования предиката Р(х)
Множество гласных букв в слове “математика”- это конечное множество, состоящее из _ элементов
(*ответ*) 3
4
5
2
Множество истинности предиката Р(х) — это множество
(*ответ*) Ip = {х: х М, Р(х) = 1}
Ip = {х: х М, Р(х) = 0}
Ip = {х: х М, Р(х) = 1}
Ip = {х: х М, Р(х) = 0}
Множество М элементов любой природы {х,у,z,…}, в котором определены отношение «=» (равно) и три операции: «+» (сложение), «*» (умножение) и «-» (отрицание), подчиняющиеся аксиомам поглощения, де-Моргана, двойного отрицания, идемпотентности, а также дистрибутивным и ассоциативным законам, называется
(*ответ*) булевой алгеброй
Непротиворечивость аксиоматической теории означает, что
(*ответ*) из данной системы аксиом нельзя логическим путем вывести два противоречащих друг другу утверждения
из данной системы аксиом можно логическим путем вывести два противоречащих друг другу утверждения
существуют утверждения, которые нельзя ни доказать ни опровергнуть в данной системе аксиом
существуют утверждения, которые нельзя доказать в данной системе аксиом
