The paper proves that the Boolean value of the modal propositional system P?5 are 1, which means V?B(B is a complete Boolean algebra)is the Boolean valued model of the modal propositiona system P?5.?
英
美
释义
证明模态系统P5的协调性.;即:证明了模态系统P5的所有公理的布尔值为1
把海词放在桌面上,查词最方便
触屏版
|
电脑版
©2003 - 2024 海词词典(Dict.cn)
立即下载