模态逻辑及其应用、谜题和示例 PDF（181 页） 电子书下载

原名:Modal Logic and Its Applications, Puzzles and Examples PDF (181 Pages)
作品简介:众所周知，C.I.刘易斯发明了模态逻辑。在现代命题微积分（PC）中，蕴涵就是这样的； .. 第 70 页 cmm 和 mcm 被淘汰，仅陈述 mmm .. 道德故事： 1…….