模态逻辑（4）—— 模态逻辑的系统 T
有了前一篇博文的基础，这里写系统 T 比较简单。
系统 T 的公理是在系统 K 的公理基础上新加了一条公理：T : L p ⊃ p \quad Lp\supset p Lp⊃p。系统 K 的定理都是系统 T 的定理。下图是一个推导系统 T 中定理的过程：
系统 T 要求模态逻辑的模型 M = < W , R , V > M=
本文来自互联网用户投稿，文章观点仅代表作者本人，不代表本站立场，不承担相关法律责任。如若转载，请注明出处。 如若内容造成侵权/违法违规/事实不符，请点击【内容举报】进行投诉反馈！