BriefGPT.xyz
Ask
alpha
关键词
proof systems
搜索结果 - 1
关系三段论的逻辑学
本文研究了提供复合命题演绎的可能性，并通过引入几个扩展后的逻辑来分析是否需要将归谬法视为必要条件，得出了关于其存在（或不存在）的命题证明体系的结果，并确定了所有分段思维的计算复杂度。
PDF
16 years ago
Prev
Next