文献类型：期刊文献

中文题名：互逆主义逻辑中的逻辑命题

英文题名：Logical Connection Proposition of Mutually-inversistic Logic

作者：王郁昕[1]

第一作者：王郁昕

机构：[1]北京联合大学信息学院

第一机构：北京联合大学智慧城市学院

年份：2005

卷号：19

期号：4

起止页码：9-13

中文期刊名：北京联合大学学报

语种：中文

中文关键词：互逆逻辑;逻辑命题;逻辑定理;一层逻辑;二层逻辑;周氏图

外文关键词：mutually-inversistic logic; logical connection proposition; logical theorem; first level logical; second level logical; ZHOU diagram

摘要：互逆主义逻辑对命题进行了严格分类,认为命题可分成不同级别、不同阶次。同时互逆主义逻辑的多层逻辑思想揭示了各类命题之间的内在关系,最高层即二层逻辑主要用于处理最高级别的逻辑命题,这是经典逻辑所不具备的功能。互逆主义逻辑还提供多种方法帮助证明命题的真伪,周氏图就是其中经常使用的方法之一。
Propositions are strictly classified in the mutually-inversistic logic. They can be categorized into different grades and different orders. The multilayers logic idea proposed in the mutually-inversistic logic exposes the relationship of all kinds of propositions. The highest level logic, or rather, the second level logic deals with logical connection proposition which is the highest grade proposition. The classic logic does not have this function. Many methods can be used in the mutually-inversistic logic to help prove whether a proposition is true or false . The Zhou diagram is one of these methods commonly used.