会员
周边
众包
新闻
博问
闪存
赞助商
所有博客
当前博客
我的博客
我的园子
账号设置
简洁模式
...
退出登录
注册
登录
frank3215的小尛博客
老年OI选手。闲得慌。
博客园
首页
新随笔
联系
订阅
管理
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)
编辑
公告