2022年6月16日
一阶逻辑基本概念
摘要： 阅读全文
posted @ 2022-06-16 20:31 问就是陈冠希 阅读(24) 评论(0) 推荐(0)
一阶逻辑
摘要： 阅读全文
posted @ 2022-06-16 20:30 问就是陈冠希 阅读(14) 评论(0) 推荐(0)
命题逻辑等值演算
摘要： 阅读全文
posted @ 2022-06-16 20:29 问就是陈冠希 阅读(10) 评论(0) 推荐(0)
命题逻辑基本概念
摘要： 阅读全文
posted @ 2022-06-16 20:29 问就是陈冠希 阅读(20) 评论(0) 推荐(0)
命题逻辑推理理论
摘要： 阅读全文
posted @ 2022-06-16 20:29 问就是陈冠希 阅读(26) 评论(0) 推荐(0)
二次关系
摘要： 阅读全文
posted @ 2022-06-16 20:28 问就是陈冠希 阅读(10) 评论(0) 推荐(0)
谓词逻辑
摘要： 1979年由金岳霖主编的《形式逻辑》中所给出的逻辑学定义在20世纪后期影响极大,是国内逻辑学教材的标杆性定义,后来国内许多教科书所给出的定义是在这个定义上的不同表述或修补。金岳霖给出的定义是:“形式逻辑是一门以思维形式及其规律为主要研究对象,同时也涉及一些简单的逻辑方法的科学”。鉴于该教材是由金岳霖 阅读全文
posted @ 2022-06-16 20:27 问就是陈冠希 阅读(133) 评论(0) 推荐(0)
代数集合
摘要： 阅读全文
posted @ 2022-06-16 20:27 问就是陈冠希 阅读(5) 评论(0) 推荐(0)