※ 引述《plovec (pp)》之銘言：
: 可是否定P=>Q的說法不是說(P^~Q)嗎
: 那題目的x>0應該是Ｖx>0
: 否定的話這部分不是應該不要動嗎
^_^" 你把 propositional logic 和 FOL 搞混了...
那個 Vx 是包住整個敘述的，不能斷開啦 :Q
~Vx(P(x) => Q(x)) 會變成 Ex(P(x) ^ ~Q(x))
比較好懂的例子 (雖然這種例子很容易舉錯，不過你就暫且相信這例子吧)
(for all)人 => 天才
只要有一個人不是天才，那...
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 140.112.31.131