Полный новичок здесь, и раздражен на этом. Я могу перевести утверждения естественного языка в формулы модальной логики, но их оценка в модели Крипке кажется неуловимой, поскольку я просто не знаю, как применить теорию на практике.
Может ли кто-нибудь быть любезным объяснить мне шаг за шагом , как использовать формулу (p & q -> (p -> q)) -> [] (p -> q) , чтобы присвоить значения истинности каждой переменной в каждом мире в модели Крипке?
Спасибо
Модели Крипке можно использовать для доказательства того, что формула недействительна .
Пересматривая ваш пример, это означает показать, что антецедент: (p & q → (p → q)) истинен в w («актуальном» мире), а консеквент r □(p → q) нет, т . е. (p → q) ложно в некотором мире w', доступном из w (т.е. таком, что wRw' ).
Если q ложно в w (записано: w ⊮ q ), мы имеем, что p & q ложно в w , и, следовательно, (p & q → (p → q)) истинно.
И если p истинно, мы имеем, что (p → q) ложно в w .
Если отношение «доступности» R рефлексивно , то есть wRw , мы имеем, что (p → q) не истинно в каждом w' таком, что wRw' , и это означает, что □(p → q) ложно.
Если вместо этого вам нужно «оценить» истинностное значение формулы в конкретном мире с присвоением истинностных значений атомам , например
ш ⊩ {р, д}
в этом случае мы просто применяем семантические спецификации.
Ясно, что w ⊩ p & q и w ⊩ p → q , а значит, w ⊩ (p & q → (p → q)) и так далее.
Отношение доступности необходимо для оценки модального оператора □ ; у нас так:
w ⊩ □p тогда и только тогда , когда w' ⊩ p для всех w' таких, что wRw' .
Раса Ван Каувеларт
Раса Ван Каувеларт
Раса Ван Каувеларт
Раса Ван Каувеларт