0
голосов
0
ответов
34 показа
Правило подстановки
Добавим к исчислению высказываний, помимо правила MP, ещё одно правило, называемоеправилом подстановки. Оно разрешает заменить в выведенной формуле вс ...
1
голос
1
ответ
60 показов
Как понять словосочетание «финитными средствами»?
Таким образом, можно утверждать, что проверка правильности математического доказательства вполне осуществима финитными средствами.Что это вообще значи ...
0
голосов
0
ответов
38 показов
Дискретная-математика - Математическая логика. Решение подобной задачи в комментариях, подскажите. [закрыт]
Помогите решить, пожалуйста. А – день даты (от 1 до 31) отправки зачетного задания, В – месяц даты (от 1 до 12) отправки зачетного задания. Функция f( ...
-1
голосов
0
ответов
48 показов
Как доказывать?
Пусть h - любая функция истинности с n аргументами, где$$n \geq 1$$ и пусть $$p_1, ..., p_n$$различные пропозициональные переменные. Тогда существует ...
0
голосов
0
ответов
80 показов
Математическая логика, тестовый вариант
Дан граф с 7 вершинами и 8 рёбрами, имеющими все возможные натуральные длины от 1 до 8. Каким может быть:а) наименьший; б) наибольший вес остовного де ...
0
голосов
0
ответов
80 показов
Непонимание теоремы Гёделя
Первая теорема Гёделя говорит о том, что если формальная арифметика (!) непротиворечива, то в ней есть невыводимые формулы (неполна). Но я часто вижу ...
0
голосов
0
ответов
54 показа
Доказать, что формула является теоремой в теории P
Помогите доказать, пожалуйста, что формула $% \neg x < x$% является теоремой в теории P. Преподаватель немного запутал с этим вопросом, хотя вроде ...
0
голосов
0
ответов
70 показов
Выяснить к какому классу относится заданная формула
Выяснить к какому классу(общезначимых, выполнимых, опровержимых, противоречий) относится заданная формулаПравилом замены эквивалентными не пользоватьс ...
0
голосов
0
ответов
39 показов
Выводимость формулы в теории L [закрыт]
С помощью правил естественного вывода доказать выводимость формулы в теории LПравилами замены эквивалентными не пользоваться:(¬(¬Y⊃¬Z)⊃¬X)≡¬(X&¬Y& ...
1
голос
0
ответов
66 показов
Пример(ы) неперечислимых множеств [закрыт]
Найдите пример множества (с доказательством), которое не перечислимо, и имеет неперечислимое дополнение.
0
голосов
0
ответов
83 показа
Множество предложений, имеющих модель
Является ли множество предложений логики первого порядка, имеющих модель, рекурсивно перечислимым? В указаниях говорится об использовании $%\{x:\phi_x ...
0
голосов
0
ответов
60 показов
Сохранение значения формулы при эпиморфизме моделей
Докажите, что при эпиморфизме моделей значение формулы сохраняется.
0
голосов
0
ответов
37 показов
Не рекурсивная перечислимость
Рассмотрим множество программ х со свойством: для всех n, таких что x выдает n на пустом аргументе, программа n останавливается на пустом аргументе.Яв ...
1
голос
0
ответов
84 показа
Программа, выдающая себя на пустом аргументе
Докажите, что множество программ х, которые выдают на пустом аргументе х, не является вычислимым.
0
голосов
0
ответов
33 показа
Разделение рекурсивно перечислимых множеств
Пусть даны два рекурсивно перечислимых множества X, Y. Почему из них можно получить два других рекурсивно перечислимых множества Z, T, такие что Z и T ...
828 вопросов
Связанные метки
Дизайн сайта/логотип © «Сеть Знаний». Контент распространяется под лицензией cc by-sa 3.0 с обязательным указанием авторства.