Форум программистов, компьютерный форум, киберфорум
Мат. логика и множества
Войти
Регистрация
Восстановить пароль
Другие темы раздела
Логика и множества Разработайте схему с четырьмя входами и одним выходом Во вложении Таблица истинности+ рабочая Схема, ДНФ = a+c*b*d, КНФ=a+b*d;(Составлено мной). Первоначальная задача: Разработайте схему с четырьмя входами и одним выходом, которая функционирует... https://www.cyberforum.ru/ mathematical-logic-sets/ thread1833872.html ДНФ,СКНФ,КНФ,СДНФ Логика и множества
Добрый день. Роюсь довольно давно в интернете, и никак не могу найти информации... В методички совершенно ничего нет... Собственно прошу вас пояснить что такое ДНФ(только если можно нормальным...
Логика и множества Даны нечеткие множества https://www.cyberforum.ru/ mathematical-logic-sets/ thread1833689.html
Даны нечеткие множества
Логика и множества Отождествить у функции переменные так, чтобы получилась несамодвойственная функция Дана произвольная несамодвойственная функция. Отождествить у нее переменные так, чтобы получилась несамодвойственная функция от возможно меньшего числа переменных. Каким может быть это число?... https://www.cyberforum.ru/ mathematical-logic-sets/ thread1833422.html
Логика и множества Доказать, что для любой формулы существует эквивалентная ей формула с тесными отрицаниями
Доказать, что для любой формулы существует эквивалентная ей формула с тесными отрицаниями, т.е. формула, в которой нет символа → и отрицания относятся только к пропозициональным переменным....
Логика и множества Какие утверждения об образах и прообразах множеств верны? Пусть Z – множество целых чисел и отображение f(n)=n2 отображает Z в Z. Какие утверждения об образах и прообразах множеств верны? 1)f–1(∅)=∅ 2)f(∅)=Z 3)f(Z)=Z 4)f–1(Z)=Z https://www.cyberforum.ru/ mathematical-logic-sets/ thread1833226.html
Логика и множества Укажите элементы композиции отношений https://www.cyberforum.ru/ mathematical-logic-sets/ thread1833221.html
Пусть ρ={<x,a>,<a,b>,<b,b>,<e,b>,<e,x>}. Укажите элементы композиции отношений ρ°ρ
Логика и множества Пропозициональная логика
Раймонд Смаллиан встретил на острове рыцарей и лжецов человека, который произнес: «Если 2×2=5, то я рыцарь». Кто этот человек?
Логика и множества Выберите правильный перевод на язык логики предикатов https://www.cyberforum.ru/ mathematical-logic-sets/ thread1833219.html
Универсум – множество животных. Предикаты: A(x)=истина тогда и только тогда, когда животное x – свинья. B(x)=истина тогда и только тогда, когда животное x – умеет летать. Выберите правильный...
Логика и множества Выберите правильный перевод на язык логики предикатов - 2 Универсум – множество людей. Предикаты: S(x) – человек x – студент. C(x) – человек x – старательный. O(x) – человек x – отличник. Выберите правильный перевод на язык логики предикатов «Быть... https://www.cyberforum.ru/ mathematical-logic-sets/ thread1833218.html
Упростить формулу и составить РКС Логика и множества
Логика и множества По данной РКС составить формулу и упростить ее https://www.cyberforum.ru/ mathematical-logic-sets/ thread1833169.html
Эксперт по математике/физике
4427 / 3227 / 1042
Регистрация: 01.09.2014
Сообщений: 8,983
26.10.2016, 19:10 0

Постройте данный вывод и результирующий вывод, применяя теорему дедукции - Логика и множества - Ответ 9692185

26.10.2016, 19:10. Показов 852. Ответов 2
Метки (Все метки)

Ответ

Сначала нужно построить вывод A |- C, затем применить теорему о дедукции, чтобы получить вывод |- A -> C. Затем по MP вывести C.

Насколько я понимаю, в задаче требуется дальше построить явный вывод без теоремы о дедукции. Я бы рекомендовал прочитать и понять доказательство теоремы о дедукции (см., например, Верещагин, Шень, Лекции по мат. логике и теории алгоритмов, часть II, на сайте МЦНМО). Она выглядит непросто на первый взгляд, но на самом деле там все логично. Доказательство конструктивное и перестраивает вывод https://www.cyberforum.ru/cgi-bin/latex.cgi?\Gamma, A\vdash B в вывод https://www.cyberforum.ru/cgi-bin/latex.cgi?\Gamma|-A\to B. В данном случае вывод A |- C состоит всего из двух правил MP, поэтому применить процедуру, описанную в теореме, вполне реально. Сообщите, если нужна дополнительная информация.

Вернуться к обсуждению:
Постройте данный вывод и результирующий вывод, применяя теорему дедукции Логика и множества
0
Programming
Эксперт
94731 / 64177 / 26122
Регистрация: 12.04.2006
Сообщений: 116,782
26.10.2016, 19:10
Готовые ответы и решения:

Используя теорему о дедукции, докажите, что справедливы следующие выводимости
Используя теорему о дедукции,докажите ,что справедливы следующие выводимости (при этом обоснование...

Использовав теорему дедукции и основные аксиомы формального исчисления доказать формулу
Здравствуйте, как можно использовав теорему дедукции и основные аксиомы формального исчисления...

Доказать, построив вывод. (Возможно применение дедукции)
|-(A-&gt;B)-&gt;((B-&gt;b)-&gt;((b-&gt;D)-&gt;(A-&gt;D)))

Используя теорему дедукции,схемы аксиом ,доказать что данная формула есть теоремой
Используя теорему дедукции,схемы аксиом ,доказать что данная формула есть теоремой. Я вот...

2
IT_Exp
Эксперт
87844 / 49110 / 22898
Регистрация: 17.06.2006
Сообщений: 92,604
26.10.2016, 19:10
Помогаю со студенческими работами здесь

Доказать формулу, построив вывод, без использования теоремы дедукции
Помогите доказать формулу вообще не применяя ни теорему дедукции, ни теорему обратную теореме...

Используя мета теорему дедукции, схемы аксиом, доказать, что данная формула является теоремой
Доброго времени суток, уважаемые форумчане! Есть данный пример. Подскажите алгоритм и суть...

Вычислить интеграл, применяя теорему о вычетах
\oint_{\left|z-1 \right|=\sqrt{3}}^{}\frac{\cos(z)dz}{\left({z}^{3}-z \right)\left(z+i \right)}

Запись файлов с использованием потоков. Вывод в результирующий файл
Необходимо создать 9 файлов (1.txt, 2.txt и т.д.) В каждом файле будет символ, соответствующий ...

0
КиберФорум - форум программистов, компьютерный форум, программирование
Powered by vBulletin
Copyright ©2000 - 2023, CyberForum.ru