作者nominalism (诺米诺主义)
看板W-Philosophy
标题Re: 反命题的定义？
时间Tue Aug 11 17:07:33 2009
「不导电的都不是铜」：~E→~C
「导电的都是铜」：E→C
画真值表给你看：
E C ~E ~C ~E→~C
T T F F T
T F F T T
F T T F F
F F T T T
E C E C E→C
T T T T T
T F T F F
F T F T T
F F F F T
「E真C假」或「E假C真」时，两句之真值不同，
真值条件不同的两个命题就是逻辑上不等值的命题，
你要怎麽让它们等值？
--
※ 发信站: 批踢踢实业坊(ptt.cc)
◆ From: 114.42.81.71
1F：推 playskin:我觉得问题是出在你用「都」而不是「则」，用了「都」就 08/11 17:23
2F：→ playskin:不是真值演算的命题了。 08/11 17:23
3F：推 popfish:直接用符号逻辑就好了吧,真值表... 08/12 10:03
4F：→ nominalism:对一个将语句翻译成述辞逻辑的形式都有困难的人，要如 08/12 14:13
5F：→ nominalism:何让对方理解符号逻辑的演算过程所代表的意义？ 08/12 14:13
6F：→ nominalism:相对来说，真值表是清楚多了的方式（不过事实证明这个 08/12 14:14
7F：→ nominalism:方法显然也无效）。 08/12 14:14
8F：→ dreaminc:真值表是体贴的表现呀 08/14 03:51