关键词: 健全逻辑系统, 泛与运算模型, 泛或运算模型, 排中律

Abstract:

Logical system PC(T) based on 0level universal operation models is proved an integrity logical system when generalized correlative coefficient is from 0 to 05. An integrity propositional logic PC(T) based on 0level universal operation models is built. When generalized correlative coefficient is from 05 to 075 moreover, propositional logic system PC(T) based on 0level universal operation models is proved an integrity logical system if P is equal to 0 or 1 and an integrity propositional logic PC(T) based on 0level universal operation models is given if P is not equal to 0 or 1 when generalized correlative coefficient is from 075 to 1.

Key words: integrity logic, universal conjunctive operational model, universal disjunctive operational model, law of excluded middle