Форум программистов, компьютерный форум, киберфорум
Наши страницы

Доказать что из дизъюнкции выводима импликация

Обсуждение математической логики, теории алгоритмов и теории множеств.
Войти
Регистрация
Восстановить пароль
Обсуждение
Всего сообщений: 11
Имя Дата Сообщение
Читать обсуждение полностью:
Доказать что из дизъюнкции выводима импликация
kefh 29.11.2014 13:12 http://www.cyberforum.ru/post6916413.html
Как доказать это? с помощью каких аксиом и правил вывода?...
OldFedor 29.11.2014 13:35 http://www.cyberforum.ru/post6916496.html
Через таблицу истинности.
kefh 29.11.2014 13:36 http://www.cyberforum.ru/post6916499.html
а если через аксиомы и правила вывода доказывать?
OldFedor 29.11.2014 14:10 http://www.cyberforum.ru/post6916627.html
Покажите как?
kefh 29.11.2014 15:19 http://www.cyberforum.ru/post6916883.html
Вот, как в этом примере, но тут я удалил дизъюнкцию без...
OldFedor 29.11.2014 15:57 http://www.cyberforum.ru/post6917025.html
Мне не понятен Ваш скрин. Это программа? Попытайтесь...
kefh 29.11.2014 16:21 http://www.cyberforum.ru/post6917131.html
это не программы, это дерево доказательств, в котором...
OldFedor 29.11.2014 21:22 http://www.cyberforum.ru/post6918293.html
Ну что ж. Значит не мое. Ждите. Ответят.
kefh 01.12.2014 20:31 http://www.cyberforum.ru/post6926938.html
Всё, сам доказал! Ура!
OldFedor 01.12.2014 20:35 http://www.cyberforum.ru/post6926961.html
Было бы здорово, если выложите результат. Для других.
kefh 01.12.2014 22:52 http://www.cyberforum.ru/post6927705.html
исходя из теоремы о дедукции сводим доказательство к виду:
 
Similar

Доказать что формула выводима в ИВ
Доказать что формула выводима в ИВ: ((A \wedge (B \wedge C)) \Leftrightarrow ...

выводима ли формула
выводима ли формула (А->В)->А в исчисление высказывании

Импликация
Прошу помощи. Начал подучивать дискретную математику и столкнулся с одним...

Преобразование к дизъюнкции,конъюнкции и отрицанию(решение есть)
Дана функция со стрелкой Пирса, штрихом Шеффера и полиномом Жегалкина, надо...

конъюнкция и импликация
как выразить конъюнкцию через импликацию и отрицание? и импликацию через...

MoreAnswers

Знак подмножества и импликация
Задание: С помощью логических законов докажите, что для любых множеств A и B:...

Как рассматривается импликация?
Случай P Q P\rightarrowQ 1 1 1 1 2 0 1 1 3 1 0 0 4 0 0 1 Как...

Доказать что
2 задание

 
КиберФорум - форум программистов, компьютерный форум, программирование
Powered by vBulletin® Version 3.8.9
Copyright ©2000 - 2018, vBulletin Solutions, Inc.
Рейтинг@Mail.ru