2022年10月17日
离散数学与结构(A)/第2次作业 数理逻辑
摘要： 数理逻辑 1. (10 分) Łukasiewicz 形式系统 L 中有无穷条公理，但是这些公理都是按照三条模式生成的. 具体来说，设 A , B, C 是任意三条 w.f.f.，那么以下三条都是公理: (L1) A →(B→A), (L2) (A →(B→C))→((A →B)→(A →C)), 阅读全文
posted @ 2022-10-17 23:49 frank3215 阅读(143) 评论(0) 推荐(0) 编辑