0 / 0 / 0
Регистрация: 12.12.2018
Сообщений: 11
1

Перевести на язык исчисления высказываний

17.12.2018, 18:33. Показов 756. Ответов 1
Метки нет (Все метки)

Студворк — интернет-сервис помощи студентам
14 По поводу погоды были высказаны предположения:
14.1. Если погода будет пасмурной, то для того, чтобы
было холодно, необходимо, чтобы дул ветер.
14.2. Если погода будет холодной, то не может быть,
чтобы солнце светило только тогда, когда нет ветра.
14.3. Для того, чтобы было пасмурно и ветрено
достаточно, чтобы было холодно. Но погода будет жаркой.
Значит, пасмурно будет только тогда, когда нет ветра.
Известно, что эти предположения сводятся к двум
простейшим условиям. Оказалось, что может быть
выполнено лишь одно из этих условий. Кроме того,
известно, что было либо жарко и безветренно, либо
пасмурно и холодно. Какая была погода?
0
Programming
Эксперт
94731 / 64177 / 26122
Регистрация: 12.04.2006
Сообщений: 116,782
17.12.2018, 18:33
Ответы с готовыми решениями:

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

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

Вывести эту формулу в теории исчисления высказываний
U->B, P->Q |- (U^P)->(B^Q) помогите пожалуйста решить, срочно нужно

Используя основные эквивалентности исчисления высказываний, проверить равенство
Используя основные эквивалентности исчисления высказываний, проверить равенства: 1) \(AB \vee A...

1
Эксперт по математике/физике
4719 / 3372 / 1077
Регистрация: 01.09.2014
Сообщений: 9,255
17.12.2018, 22:36 2
Цитата Сообщение от Include233 Посмотреть сообщение
Известно, что эти предположения сводятся к двум простейшим условиям.
Я не знаю, что значит это предложение, но пункты 14.1-3 переводятся в формулы стандартным образом. В чем ваша сложность?
0
IT_Exp
Эксперт
87844 / 49110 / 22898
Регистрация: 17.06.2006
Сообщений: 92,604
17.12.2018, 22:36
Помогаю со студенческими работами здесь

Проверьте, пожалуйста мое решение. Исчисления высказываний. Предикаты
Доброго времени суток. Вот мое задание. Пусть W- множество людей. На множестве W заданы следующие...

Докажите данную теорему при помощи исчисления высказываний.
Докажите данную теорему при помощи исчисления высказываний: ((p & q)\supset\neg r) ((r&p)...

Используя основные эквивалентности исчисления высказываний, проверить равенства
Используя основные эквивалентности исчисления высказываний, проверить равенства: 2) \(B \bar{C}...

Постройте вывод теоремы F из аксиом формализованного исчисления высказываний
Здравствуйте. Не могу разобраться с заданием. Помогите пожалуйста. Постройте вывод теоремы F из...


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

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

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