Форум программистов, компьютерный форум, киберфорум
Наши страницы
Мат. логика и множества
Войти
Регистрация
Восстановить пароль
 
phisika
0 / 0 / 0
Регистрация: 06.01.2013
Сообщений: 1
1

Семантика модальной логике Модель Крипке

10.01.2013, 09:49. Просмотров 447. Ответов 0
Метки нет (Все метки)

Всем доброго времени суток. Наступила сессия и появилась необходимость срочно решить кое-какие задачи. В данной теме меня интересует семантика и модели Крипке. Необходимо доказать несколько утверждений. На деле парочку могу на словах объяснить, а как это нужно записать в работе понять не могу. Буду благодарен, если кто-нибудь мне поможет в этом деле.
Необходимо доказать, что:
1) M, t|= ~(A http://www.cyberforum.ru/cgi-bin/latex.cgi?\vee B), если и только если M, t|= ~ A http://www.cyberforum.ru/cgi-bin/latex.cgi?\wedge ~ B;
2) M, t|= ~[]A, если и только если M, t|= <>~A;
3) M, t|= ~<>A, если и только если M, t|= []~A;

[] - необходимость
<> - возможность
~ - отрицание

Проверить утверждения.
Пусть p,q http://www.cyberforum.ru/cgi-bin/latex.cgi?\in P. Рассмотрим модеть M = (W, R, h), где W={1, 2, 3, 4, 5}, R = { (1,1), (1,2),(2,3),(1,5),(5,4),(4,4),(4,3)}, h(p) = {1, 2, 5}, h(q) = {1, 3, 4} и h(r) = http://www.cyberforum.ru/cgi-bin/latex.cgi?\oslash для всех r http://www.cyberforum.ru/cgi-bin/latex.cgi?\notin {p,q}.
Проверить утверждения:
4) []p верно в 1 и 3, ложно в 4;
5) []~p верно в 3, 0 верно в 3
6) <>q http://www.cyberforum.ru/cgi-bin/latex.cgi?\wedge <>~q верно в 1, []q ложно в 1
7) <>q, []q оба верны в 2, ибо только 3 доступно из 2
8) <>1 http://www.cyberforum.ru/cgi-bin/latex.cgi?\rightarrow <>q верно во всех мирах, т.е. эта формула - тавталогия модели M.
Каждому буду благодарен, кто поможет. Заранее спасибо.
0
Надоела реклама? Зарегистрируйтесь и она исчезнет полностью.
Similar
Эксперт
41792 / 34177 / 6122
Регистрация: 12.04.2006
Сообщений: 57,940
10.01.2013, 09:49
Ответы с готовыми решениями:

Как правильно передать заполненную модель бизнес логике модели представления
Всем привет! Есть задача передать заполненную бизнес модель на модель...

Вызов модальной формы из модальной, нужно:закрытие последней и не закрытие первой.
1. Вызываю модальную форму из главной формы (немодальной). 2. Вызываю другую...

Семантика HTML5
Здравствуйте. Подскажите пожалуйста по тэгам html5. Есть тэги: main, section,...

move семантика
Сейчас стало появляться нечто вроде такого: class X { public: X (const...

C# и Move семантика
Вопрос в следующем. Существует ли в C# нечто подобное move semantics C++ 11?

0
MoreAnswers
Эксперт
37091 / 29110 / 5898
Регистрация: 17.06.2006
Сообщений: 43,301
10.01.2013, 09:49

Синтаксис и семантика
Здравствуйте. Можете, если не трудно, проверить правильность моих ответов. 1....

Мерцания модальной формы
Всем Привет...в общем хочу красиво скрыть модальную форму....для этого...

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


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

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

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