как читать P следует Q в классической логике? пример : Distributivity: Ka(X->Y) -> (KaX -> KaY) Это модальная логика, использующая правила классической логики. KaX: a знает, что X истинно. Мне интересно, как понимать смысл...

Я застрял на семантике Крипке и задаюсь вопросом, есть ли educational software , с помощью которого я могу проверить эквивалентность утверждений и т.д., так как я начинаю думать, что его легче учить на примере (даже если на абстрактных...

Я просто смотрел на тип map :: (a -> b) -> [a] -> [b] , и сама форма этой функции заставила меня задуматься, можем ли мы видеть, что оператор формирования списка [] подчиняется различным аксиомам, общим для нормальной модальной логики...