Descartes axiom and wisdom axiom in knowledge logic are isomorphic, both of which are corresponding to axiom E in modal logic.

 
  • 笛卡尔公理与知道逻辑中的智慧公理(格拉底公理)逻辑上是同构的,它们均对应于模态逻辑中的E公理。
今日热词
目录 附录 查词历史