作者yllan (蓝永伦)
看板logic
标题Re: [请益] 请教个小问题
时间Fri Nov 25 01:17:53 2005
※ 引述《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