欢迎来到中文知识站!
>
介绍了命题逻辑演算方法。
逻辑演算对推理形式有效*的研究,比传统逻辑更抽象、更严格,其原因是形式化方法的运用。
借助一阶逻辑演算有条件地把超限递归原理从序数类推广到具有良基关系的类上。
图文推荐
相关文章