0
голосов
1
ответ
57 показов

Как такое определение https://i.stack.imgur.com/Q2Jbi.png согласуется с определением из Википедии (There is an algorithm that enumerates the members o ...
0
голосов
1
ответ
59 показов

Построить вывод формулы A→(¬B→¬(A→ B))Выводом формальной теории называется последовательность формул A1, A2 , …, An , в которой все формулы – либо акс ...
0
голосов
0
ответов
45 показов

Хотелось бы задать два вопроса:1)Необходимо ли при доказательстве противоречивости множества дизъюнктов методом резолюции использовать все дизъюнкты и ...
0
голосов
0
ответов
136 показов

Найти ПкНФ и ССФR(x, y)=>(∀y)(P(y)=>((∃x)P(x)=>Q( y));Сделал поэтапно:1)R(x, y)=>(∀y)(P(y)=>((∀x)¬P(x) V Q(y));2)R(x, y)=>(∀y)(¬P(y) ...
0
голосов
0
ответов
79 показов

В некотором классе каждый ученик либо всегда говорит ложь, либо всегда говорит правду. При этом каждый из них знает про остальных, кто лжец, а кто нет ...
0
голосов
1
ответ
81 показ

Подскажите пожалуйста равносильно ли это преобразование(∀x)(P(x)=>R(x))в это (∀x)P(x)=>(∀x)R(x)Или необходимо расписать импликацию следующим обр ...
1
голос
1
ответ
96 показов

Выбрать все свойства, из которых следует перечислимость Aа) Разрешимость ¬Аб) Разрешимость некоторого множества пар В, такого что А есть проекция В на ...
1
голос
1
ответ
128 показов

Выберите верные утверждения:а) Если f вычислима, то её график Г_f={(x,y)|y=f(x)} перечислимб) Если f вычислима, то область определения f - перечислимо ...
0
голосов
0
ответов
76 показов

Для бинарного отношения x ρ y ⇔ «x × y >1», определенного на множестве R вещественных чисел, выясните, какими свойствами оно обладает (рефлексивнос ...
1
голос
1
ответ
76 показов

Для празднования Нового Года необходимо составить неограниченно длинную гирлянду из электрических лампочек разных цветов, соблюдая следующее правило: ...
3
голоса
0
ответов
1342 показа

Есть 75 яблок. Выберите все верные утверждения.Есть либо 5 яблок одного сорта, либо 18 различных сортов яблокЕсть либо 5 яблок одного сорта, либо 19 р ...
1
голос
1
ответ
114 показов

Прямо-таки запутывает этот «Старый Новый Год». Скажем, Ленин родился 10 апреля по старому стилю, что соответствует 22 апреля по новому. То есть, "нова ...
5
голосов
1
ответ
313 показов

Из 30 скакунов нужно выбрать трех самых быстрых. Более быстрый скакун в забеге приходит к финишу раньше. Отношение более быстрый транзитивно. В одном ...
-2
голосов
0
ответов
247 показов

Прежде чем начнётся обсуждение этой задачки хочу пару слов сказать тем кому не нравятся мои идеи.... а то меня уже задолбал это народ блокировать меня ...
0
голосов
0
ответов
181 показ

Следующее составное высказывание расчлените на простые и запишите символически, введя буквенные обозначения для простых их составляющих: Если производ ...
на странице153050
Дизайн сайта/логотип © «Сеть Знаний». Контент распространяется под лицензией cc by-sa 3.0 с обязательным указанием авторства.
Рейтинг@Mail.ru