作者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