2022年1月21日
数理逻辑习题乱做
摘要： 做习题，不保证对，不保证全 2.10 证明只有 \(\uparrow,\downarrow\) 能单独定义所有的单目和二元运算 首先考虑如何表示 \(\neg\)。 \(\circ\) 这个二元运算能表示 \(\neg\) 的定义为，对于任意公式 \(A\) 都有 \(\neg A=A\circ A 阅读全文
posted @ 2022-01-21 23:44 jjppp 阅读(210) 评论(0) 推荐(0) 编辑