会员
周边
众包
新闻
博问
闪存
赞助商
所有博客
当前博客
我的博客
我的园子
账号设置
简洁模式
...
退出登录
注册
登录
jjppp的博客
那就这样吧!@#$%^&*_
新随笔
联系
订阅
管理
2022年1月21日
数理逻辑习题乱做
摘要: 做习题,不保证对,不保证全 2.10 证明只有 \(\uparrow,\downarrow\) 能单独定义所有的单目和二元运算 首先考虑如何表示 \(\neg\)。 \(\circ\) 这个二元运算能表示 \(\neg\) 的定义为,对于任意公式 \(A\) 都有 \(\neg A=A\circ A
阅读全文
posted @ 2022-01-21 23:44 jjppp
阅读(219)
评论(0)
推荐(0)
编辑
公告