作者earh (多脑人)
看板logic
标题Re: [请益] 数理逻辑 The Predicate Calculus. Val …
时间Sun Jan 17 22:00:53 2010
不是很确定题意，感觉这三题都不用什麽证明过程，是不是我没弄懂题意
: 1. (exist x)(y)~(y＞x),(exist x)~(exist y)(y＞x)
(y)~(y＞x)与~(exist y)(y＞x)等价(QN)
: 2. (exist x)(y)(y＞xor~(y＞0)),(exist x)(y)(y＞0→y＞x)
y＞xor~(y＞0) 与 y＞0→y＞x 等价(忘记这是什麽规则了)
: 3. (x)(exist y)(exist z)(x＜yandz^2＞y),(x)(exist y)(x＜yand(exist z)(z^2＞
y)
(Ez)( A and Q(z) ) 与 ( A and (Ez)Q(z) )等价
用EI、EG与Simp、Conj可证
--
※ 发信站: 批踢踢实业坊(ptt.cc)
◆ From: 114.42.79.39
※ 编辑: earh 来自: 114.42.79.39 (01/17 22:01)