Re: 反命題的定義？

[nominalism (諾米諾主義)]

「不導電的都不是銅」：~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
推 playskin:我覺得問題是出在你用「都」而不是「則」，用了「都」就
→ playskin:不是真值演算的命題了。
推 popfish:直接用符號邏輯就好了吧,真值表...
→ nominalism:對一個將語句翻譯成述辭邏輯的形式都有困難的人，要如
→ nominalism:何讓對方理解符號邏輯的演算過程所代表的意義？
→ nominalism:相對來說，真值表是清楚多了的方式（不過事實證明這個
→ nominalism:方法顯然也無效）。
→ dreaminc:真值表是體貼的表現呀