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