作者InAMinor (ヴォヤ—ジュ1969)
看板logic
标题Re: [请益] 关於管仲「衣食足则知荣辱」的逻辑问题
时间Thu Jul 24 01:50:28 2008
有个地方有点问题...
你把这句话解释成「若衣食足，则知荣辱」
不过我觉得管仲在这里想讲的是「
只有衣食足，才知荣辱」，而不是「
若衣食足，就会
知荣辱」。
这两个句子差得可多了，因为「只有p，才q」这个语句我们通常会符示为「q -> p」。
假设p=衣食足，q=知荣辱，
前者我们会符示为q -> p，後者我们才会符示为你所说的p -> q。
我想管仲的意思应该是前者。
从如言的真值表我们可以得到，如果「知荣辱，且并非衣食足」这句话为真的话，
我们才能说管仲的那个语句为假。
呃，还有，我有点看不懂你後半段在说什麽...
你说的「论证」在哪里？「前提」在哪里？
我只看到了一个如言语句(conditional sentence)「若知荣辱，则衣食足」，
而这个语句包含了前件和後件。
我们通常会说一个语句是真是假，但不会说它有效还是无效。
你所提到的「衣食足，则不知荣辱」这句话，我会比较倾向把它符示为p -> ~q
因为我想你大概是要说「人一有钱就会变得无耻」这回事。
这麽一来，我们比较一下管仲说的「衣食足，则知荣辱」和你说的「衣食足，则不知荣
辱」这两句话，列出他们的真值表，我们会发现这两句话是逻辑上一致的(consistent)
，有它们同时为真的列。起码你可不能说这两句话互相矛盾唷。
p q q -> p p -> ~q
---------------------------
T T T F
T F T T
F T F T
F F T T
--
※ 发信站: 批踢踢实业坊(ptt.cc)
◆ From: 118.160.20.91
※ 编辑: InAMinor 来自: 118.160.20.91 (07/24 02:35)
1F：推 tzuni:真的是非常感激您的解释，我了解了！:P 07/24 15:53
2F：推 MicroB:问一下 两句皆为真的两列里q都是假 也就是不知荣辱 那能不 07/25 17:17
3F：→ MicroB:能说如果有人知荣辱 这两句话就不能皆为真 也就矛盾呢? 07/25 17:18
4F：→ InAMinor:如果我们把这两句话想成全称命题，那麽要排除真值表的二 07/25 18:49
5F：→ InAMinor:四列，就必须所有人都知荣辱才行。在所有人都知荣辱的前 07/25 18:49
6F：→ InAMinor:提下，我们才能说这两句话是不一致的。 07/25 18:50