※ 引述《ksmrt0123 (ksmrt)》之銘言： : 我不是很贊同將 : 「只有 英文及格的人 可以吃巧克力」 : ^^^^^^^^^^^^ ^^^^^^^^^^^^ : P Q : 這句話以Q->P表示. 這不是直觀上贊不贊同的問題，這個邏輯句型已經是最最基本了。 你再不贊同，它還是就只能這樣寫， Q->P 就是把 (Q only if P)寫成符號表示而已。 邏輯的目的就是要排除直觀的想法。 : P Q | S |Q->P S : -----+---+---- : 1 1 | 1 | 1 英文及格 可以吃巧克力 符合原句沒什麼爭議吧 : 1 0 | 0 | 1 英文及格 不可以吃巧克力 與原句抵觸 : 0 1 | 0 | 0 英文不及格 可以吃巧克力 與原句抵觸 : 0 0 | 1 | 1 英文不及格 不可以吃巧克力 符合原句之語意 : (因為"只有") 我把你原本的文章貼過來， 你在最後S這部分，是用個人感覺在判斷「符不符合S」， 但其實，這個題目就是要找出什麼的表示式可以「符合S」 所以當你直接說「這樣符合S」「這樣不符合S」時， 是直接用你直觀的結果當成佐證，再證明出結果符合你的直觀想法， 這是自己證自己。 注意，這裏要判斷的是會不會與原句抵觸，亦即， 有些情形是原句判斷不出真假的，那你的句子也應該判斷不出來 而且你在判斷S時，下面這兩句是不一樣的，要考慮清楚你是在用哪句判斷 英文及格 & 不可以吃巧克力 英文及格 ->不可以吃巧克力 : 主要差異在 P=1 & Q=0 時, 也就是英文及格卻不可以吃巧克力的這個情況, : 我認為不符合原句的語意, 而你認為符合. 只有努力才能考高分，不代表努力一定考高分。 只有有翅膀的生物才能飛，不代表長翅膀的生物都能飛。 只有女人才能生小孩，不代表每個女人都能生小孩。 你不能主觀把沒有違背真假值的因素都刻意排除掉，只求跟你的原本式子符合。 : 換個方式說, 把Q->P換成口語表達, 我的理解是這樣: : 「可以吃巧克力的人 英文一定及格」 是的，這就是這個句型的基本意思，也是為什麼邏輯式都會寫成Q->P。 --

※ 發信站: 批踢踢實業坊(ptt.cc) ◆ From: 59.121.0.70 ※ 編輯: luciferii 來自: 61.59.167.90 (10/15 09:36)