※ 引述《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)