[離散] 邏輯問題 習題10-87

2009-11-13

離散下冊習題第 10-87題

想問為何這題的答案不是TRUE

就課本舉的那個反例

應該也無法找到一個任意值滿足 P(x)

故題目中的右式 P(x) 為False

導致於 P(x) -> Q(x) 會為TRUE才對

不知是否有思考不周詳之處

線代離散助教(wynne) 提到...: 右邊那句的 x 是被bound在整個若p則q的命題裡面的, 把這句翻譯成白話文, 它說的是 "對所有的實數x, 如果 x>1 的話 x 就一定大於 2", 若取 x=2 則這句話顯然是錯的(因為P(x)但!Q(x)), 也就是說並非所有的x都會滿足若x>1則x>2, 這就是為什麼它會是false; 2009年11月13日晚上11:16

黃子嘉 - 線代離散研究室