CAJ | 학술논문

弗完全逻辑P1是一种允许一个命题及其否定可以同时都为假的逻辑系统，即在该逻辑系统中一般意义的排中律将不再有效。文章在给出的标准语法和语义的基础上，对弗完全否定的逻辑涵义进行了直观解释，并分析了其逻辑语义特征；给出了弗完全逻辑拟真值表的具体列法，表明了系统P1的可判定性；利用拟真值表方法，表明了一般意义排中律在P1中的失效；对弗完全逻辑P1可以容忍逻辑悖论的逻辑机制进行了解析，并就此将弗协调逻辑C1和P1进行了容忍能力的比较。
불완전라집P1시일충윤허일개명제급기부정가이동시도위가적라집계통，즉재해라집계통중일반의의적배중률장불재유효。문장재급출적표준어법화어의적기출상，대불완전부정적라집함의진행료직관해석，병분석료기라집어의특정；급출료불완전라집의진치표적구체렬법，표명료계통P1적가판정성；이용의진치표방법，표명료일반의의배중률재P1중적실효；대불완전라집P1가이용인라집패론적라집궤제진행료해석，병취차장불협조라집C1화P1진행료용인능력적비교。
Paracomplete logic P1 is a logic system allowing a proposition and its negation to be false at the same time, i.e., the general law of excluded middle in this logic system would be futile. Based on the standard grammar and syntax, this paper explains the logic implication of paracomplete negation, an?alyzes the logic syntactic characteristics, testifies the decidability of paracomplete logic quasi matrix with specific lining method, demonstrates the futility of general law of excluded middle in P 1 with quasi matrix method, analyzes the logic mechanism of paracomplete logic P 1 ’ s tolerance on logic paradox, and thus compares paraconsistent logic C1 and P1 on their tolerant ability.