| Версия для печати темы
Нажмите сюда для просмотра этой темы в оригинальном формате |
| Форум программистов > Центр помощи > [Математическая логика] Модель крипке |
| Автор: Ground 2.1.2010, 05:23 |
| Всем доброго времени суток! Есть небольшая задача, которая просто ставит в тупик: Пусть p, q принадлежат 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) = пустое множество для всех r принадлежащих {p, q}. (Высказывание р верно в мирах 1, 2 и 5; q – в 1, 3 и 4). Проверить утверждения: 1) квадрат р верно в 1 и 3, ложно в 4; 2) квадрат не р верно в 3, квадрат 0 верно в 3; Подскажите, как решать, в какую сторону идти для решения? Заранее спасибо! |