Форум программистов, компьютерный форум, киберфорум
Мат. логика и множества
Войти
Регистрация
Восстановить пароль
Другие темы раздела
Логика и множества Как изобразить диаграму Эйлера-Венна? https://www.cyberforum.ru/ mathematical-logic-sets/ thread1138875.html
и как применить условие?
Интересные задачки Логика и множества
Помогите с решением, пожалуйста! 1. Из 30 музыкантов 20 играют на пианино, 15 на гитаре, 17 на скрипке. На 2 инстр-х играют по 10 человек. Ск-ко играют на всех трех? 2. abcd+xyz=adc9 и...
Логика и множества Алгебра логики. Упростить выражение с импликацией вот выражение https://www.cyberforum.ru/ mathematical-logic-sets/ thread1138404.html Логика и множества Минимизация функции диаграммой Вейча Помогите пожалуйста разобраться с заданием. Нужно минимизировать функцию c помощью диаграмм Вейча. Я заполнила таблицу, выделила контуры, а как теперь записать правильно окончательную формулировку.... https://www.cyberforum.ru/ mathematical-logic-sets/ thread1137954.html
Логика и множества Бинарное отношение
Программа должна генерировать случайную последовательность входных данных (множество А), упорядочивать поле с входными данными по возрастанию, выводить бинарное отношение в виде множества пар,...
Логика и множества Система уравнений https://www.cyberforum.ru/ mathematical-logic-sets/ thread1137769.html
Помогите решить, пожалуйста. Где я допустил ошибку? Задача и мое решение во вложении Правила, 5.18. Запрещено размещать задания и решения в виде картинок и других файлов с их текстом.
Логика и множества Упростить выражение с множествами. Дискретная математика Пример: (A\bigcap \bar{B}\bigcup C)\bigcap (A\bigcup B)\bigcap \bar{C} https://www.cyberforum.ru/ mathematical-logic-sets/ thread1137526.html Доказать, что является логически общезначимой формула Логика и множества
Доказать, что является логически общезначимой формула - \large A\vdash_L E{x}_{1}({A}_{1}^{1}({x}_{1})\parallel )\rightarrow E {x}_{1}({A}_{2}^{1}({x}_{1}) \parallel {A}_{3}^{1}({x}_{2}) \parallel...
Логика и множества Изобразить через диаграмм Эйлера-Венна множества - Дискретная математика https://www.cyberforum.ru/ mathematical-logic-sets/ thread1137173.html
Доброго времени суток. Впервые обращаюсь за помощью к данному форуму, т.к. выбора особого нет. Некоторые задания сделал сам, но вот с этими, что-то совсем всё плохо. Надеюсь на вашу помощь. Заранее...
Логика и множества Доследить на рефлективность,симметрию и транзитивность Помогите пожалуйта. Я все сделал,а это незнаю как сделать,условие не очень понимаю и что с етим всем делать. Задание: . Доследить свойства( рефлективность,симметрию и транзитивность) отношения R... https://www.cyberforum.ru/ mathematical-logic-sets/ thread1137042.html
Доказать примитивную Логика и множества
Доказать примитивную рекурсивность функции f(x,y)=x^y
Логика и множества Доказать истинность https://www.cyberforum.ru/ mathematical-logic-sets/ thread1136957.html
докажите истинность в вычислении высказываний формулы (A\Lambda B)\Lambda C\rightarrow A\Lambda (B\Lambda C) , построив для ее доказательство
Эксперт по математике/физике
4163 / 2066 / 424
Регистрация: 19.07.2009
Сообщений: 3,125
Записей в блоге: 24
04.04.2014, 18:14 0

Доказать формулу, построив вывод, без использования теоремы дедукции - Логика и множества - Ответ 5999631

04.04.2014, 18:14. Показов 1777. Ответов 1
Метки (Все метки)

Лучший ответ Сообщение было отмечено NadezdaFox как решение

Решение

Аксиомы и правила вывода в студию!

Допустим, имеются аксиомы
https://www.cyberforum.ru/cgi-bin/latex.cgi?A\to (B \to A) \quad\quad\quad (K)
https://www.cyberforum.ru/cgi-bin/latex.cgi?(A\to (B\to C)) \to ((A\to B) \to (A\to C)) \quad\quad\quad (S)
и правило Modus Ponens.

Применим MP к аксиомам K (импликация) и S (посылка):
https://www.cyberforum.ru/cgi-bin/latex.cgi?D\to \left[ (A\to (B\to C)) \to ((A\to B) \to (A\to C)) \right] \quad\quad\quad (S')
Применим MP к S (импликация) и этому суждению S' (посылка) и переименуем переменные:
https://www.cyberforum.ru/cgi-bin/latex.cgi?\left[ A \to (B \to (C \to D)) \right] \to \left[ A \to ((B \to C) \to (B \to D)) \right] \quad\quad\quad (S'')
Применим MP к этой импликации и аксиоме K https://www.cyberforum.ru/cgi-bin/latex.cgi?(C\to D)\to (B\to (C\to D)) с https://www.cyberforum.ru/cgi-bin/latex.cgi?A=C\to D и получим
https://www.cyberforum.ru/cgi-bin/latex.cgi?(C\to D) \to ((B \to C) \to (B \to D))
PROFIT!

Вернуться к обсуждению:
Доказать формулу, построив вывод, без использования теоремы дедукции Логика и множества
1
Programming
Эксперт
94731 / 64177 / 26122
Регистрация: 12.04.2006
Сообщений: 116,782
04.04.2014, 18:14
Готовые ответы и решения:

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

Используя метатеорему дедукции, доказать формулу
Использую мататеорему дедукции, доказать формулу: | (B=>A)=>(AvB=>A)

Доказать, построив вывод
Добрый вечер. не совсем могу понять механизм вывода формул через эти три аксиомы. Что куда...

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

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

Вывести исходя из аксиом Черчелля, следствий, Modus Ponus, теоремы о дедукции и правил.
вывести исходя из аксиом Черчелля, следствий, Modus Ponus, теоремы о дедукции и правил ...

Доказать, что предел последовательности не равен числу , построив отрицание предела
Помогите разобраться, либо я не понимаю чего-то, либо в условии ошибка У меня получилось про...

Помогите пожалуйста перевести эту формулу(без использования uses math)
Здравствуйте! Помогите пожалуйста перевести эту формулу(без использования uses math): 2arcsin2x3...

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

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