Дано числовое множество , на котором определены два предиката: – и являются простыми числами; – число делится без остатка на число . Из этих предикатов сформирован новый предикат .
Тогда часть
таблицы истинности предиката имеет вид …
Варианты ответов
Правильный ответ
Помогли ответы? Ставь лайк 👍
Расскажи другу:
Вопрос задал(а): Анонимный пользователь, 13 Ноябрь 2020 в 15:19 На вопрос ответил(а): Анастасия Степанова, 13 Ноябрь 2020 в 15:19
Дано числовое множество , на котором определены два предиката: – и являются простыми числами; – число делится без остатка на число . Из этих предикатов сформирован новый предикат .
Тогда часть
Пусть – произвольное множество (универсальное), – произвольное подмножество, – дополнения множества до множества (разность множеств и ).
Тогда доказательство тождества образует последовательность приведённых утверждений …
- произвольный элемент множества
(кратко: ).
Соотношение в силу определения операции пересечения множеств равносильно соотношению: и
(кратко: ).
Соотношения и равносильны, это следует из определения операции дополнения
(кратко: ).
Соотношение и есть противоречие, а поэтому
(кратко: ).
Пусть – произвольное множество (универсальное), – произвольное подмножество, – дополнения множества до множества (разность множеств и ).
Если , и , то доказательство включения образует последовательность приведённых эквивалентностей …
Из определения операции дополнения множества следует, что утверждения и эквивалентны (равносильны)
(кратко: ).
Утверждение эквивалентно (равносильно) утверждению и , что непосредственно следует из определения операции объединения множеств
(кратко: ).
Учитывая определение дополнения, можно утверждать, что соотношение и равносильно (эквивалентно) соотношению и
(кратко: ).
По определению операции пересечения, соотношение и эквивалентно (равносильно) соотношению
(кратко: ).