摘要
互逆主义逻辑对命题进行了严格分类,认为命题可分成不同级别、不同阶次。同时互逆主义逻辑的多层逻辑思想揭示了各类命题之间的内在关系,最高层即二层逻辑主要用于处理最高级别的逻辑命题,这是经典逻辑所不具备的功能。互逆主义逻辑还提供多种方法帮助证明命题的真伪,周氏图就是其中经常使用的方法之一。
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.
出处
《北京联合大学学报》
CAS
2005年第4期9-13,共5页
Journal of Beijing Union University
关键词
互逆逻辑
逻辑命题
逻辑定理
一层逻辑
二层逻辑
周氏图
mutually-inversistic logic
logical connection proposition
logical theorem
first level logical
second level logical
ZHOU diagram