不是很確定題意，感覺這三題都不用什麼證明過程，是不是我沒弄懂題意
: 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)