Структура Крипке, модальная логика
#logic #modal-logic Вопрос: Я был бы признателен за помощь в том, как интерпретировать модель Крипке. Я хочу определить, в каком из миров s_1-s_6 существует отрицание p ($neg p$), но не…
#logic #modal-logic Вопрос: Я был бы признателен за помощь в том, как интерпретировать модель Крипке. Я хочу определить, в каком из миров s_1-s_6 существует отрицание p ($neg p$), но не…