Лиса1994
1

Докажите данную теорему при помощи исчисления высказываний.

23.04.2012, 17:29. Показов 1244. Ответов 3
Метки нет (Все метки)

Author24 — интернет-сервис помощи студентам
Докажите данную теорему при помощи исчисления высказываний:
https://www.cyberforum.ru/cgi-bin/latex.cgi?((p & q)\supset\neg r) ((r&p) \supset\neg q)

Добавлено через 1 минуту
помогите решить,с объяснением.Плиз,плиз,плиз
Programming
Эксперт
94731 / 64177 / 26122
Регистрация: 12.04.2006
Сообщений: 116,782
23.04.2012, 17:29
Ответы с готовыми решениями:

При помощи закона логики высказываний доказать, что формула тавтология
При помощи закона логики высказываний доказать, что формула тавтология: A∧B⇔(¬(¬A∨¬B))

Как данную программу реализовать при помощи классов
как данную программу реализовать при помощи классов ~cpp ...

Перевести на язык исчисления высказываний
14 По поводу погоды были высказаны предположения: 14.1. Если погода будет пасмурной, то для того,...

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

3
1031 / 702 / 66
Регистрация: 30.01.2012
Сообщений: 714
23.04.2012, 23:15 2
если имелось в виду доказательство равносильности в логике высказываний:

https://www.cyberforum.ru/cgi-bin/latex.cgi?pq\to \bar{r}\equiv rp\to \bar{q}

то достаточно раскрыть импликацию:

https://www.cyberforum.ru/cgi-bin/latex.cgi?\overline{pq}\vee \bar{r}\equiv \overline{rp}\vee \bar{q}

и воспользоваться законом де Моргана:

https://www.cyberforum.ru/cgi-bin/latex.cgi?\bar{p}\vee \bar{q}\vee \bar{r}\equiv \bar{r}\vee \bar{p}\vee \bar{q}

(ну и ещё ассоциативностью и коммутативностью дизъюнкции)...

если же речь действительно шла о доказательстве теоремы в исчислении высказываний, то прежде всего желательно точнее формулировать задание: какую теорему (в исходном задании, по-видимому, имеются неточности), в какой системе аксиом и т.д.
1
Лиса1994
24.04.2012, 07:22 3
спасибо)
Buckminster
24.04.2012, 11:32     Докажите данную теорему при помощи исчисления высказываний.
  #4

Не по теме:

Цитата Сообщение от Лиса1994 Посмотреть сообщение
спасибо)
за что спасибо то? суть задания так и осталась неясной...

0
IT_Exp
Эксперт
87844 / 49110 / 22898
Регистрация: 17.06.2006
Сообщений: 92,604
24.04.2012, 11:32

Как вывести 6-ю аксиому исчисления высказываний?
Как вывести 6ю аксиому исчисления высказываний из 1ой, 2ой и 10ой?

Что такое разрешимость исчисления высказываний?
Что такое разрешимость исчисления высказываний? Вот здесь я указывал о каком конкретно ИВ идёт речь.

Используя основные эквивалентности исчисления высказываний
Один пример вроде решил проверьте пожалуйста правильно я все сократил А со вторым вообще ниче не...

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


Искать еще темы с ответами

Или воспользуйтесь поиском по форуму:
4
Ответ Создать тему
Опции темы

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