文章 0 浏览 1
如何理解经典逻辑中P蕴含Q？ 示例： Distributivity: Ka(X->Y) -> (KaX -> KaY) 这是使用经典逻辑规则的模态逻辑。 KaX：a 知道 X 为真。 我很…
文章 0 评论 0
接受
