Furthermore, the author discovered the relations among the classical propositional system, intuitionistic propositional system and paraconsistent propositional system on the ground of negations.
英
美
释义
此外,还通过否定揭示出经典命题逻辑系统、直觉主义命题逻辑系统和弗协调命题逻辑系统之间的关系。
把海词放在桌面上,查词最方便
触屏版
|
电脑版
©2003 - 2024 海词词典(Dict.cn)
立即下载