论文部分内容阅读
弗完全逻辑P1是一种允许一个命题及其否定可以同时都为假的逻辑系统，即在该逻辑系统中一般意义的排中律将不再有效。文章在给出的标准语法和语义的基础上，对弗完全否定的逻辑涵义进行了直观解释，并分析了其逻辑语义特征；给出了弗完全逻辑拟真值表的具体列法，表明了系统P1的可判定性；利用拟真值表方法，表明了一般意义排中律在P1中的失效；对弗完全逻辑P1可以容忍逻辑悖论的逻辑机制进行了解析，并就此将弗协调逻辑C1和P1进行了容忍能力的比较。