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

 
  • 笛卡爾公理與知道邏輯中的智慧公理(格拉底公理)邏輯上是同構的,它們均對應于模態(tài)邏輯中的E公理。
今日熱詞
目錄 附錄 查詞歷史
国内精品美女A∨在线播放xuan