大概看懂你想表達什麼了... ※ 引述《yggdrasils (尤克特拉希爾)》之銘言： : 有效性的定義：一個論證是有效的，若且為若，不可能出現所有的前提都為真，而且結論 : 為假的情形。 : A：所有的前提都為真 : B：結論為真 : 有效性的定義以真值表表示： : ~ A ^ ~ B : a： F T F F T : b： T F T F T ^應該是F... : c： F T F T F : d： T F T T F : 3 1 * 4 2 : a:論證無效（不是「所有前提都為真」，而且不是「結論為真」） : b:論證無效（「所有前提都為假」，而且不是「結論為真」） ^^^^^^^^^^^^^^^^ 這句搞錯了... 並不是命題為假，命題內容就跟著改變 = = 這句用中文正確表達應該是：並非『「所有前提都為真」為假』 所以這命題與「所有前提為真」等價才對。 : c:論證無效（不是「所有前提都為真」，而且「結論為假」） ^^^^^^^^^^ 同上的毛病，不是命題為假命題內容就改變... 正確表達應該是：並非『「結論為真」為假』 與「結論為真」等價。 : d:論證有效（「所有前提都為假」，而且「結論為假」） ^^^^^^^^^^^^^^^^ ^^^^^^^^^^ 並非『「所有前提都為真」為假』，而且並非『「結論為真」為假』。 所以是：所有前提都為真，而且結論為真。 : 所有前提為假，而且結論為假，若且為若，論證有效。 : 請教版友，上述真值表跟文字敘述哪裡有問題，而不能使有效性的定義可用真值表表示。 還是想告訴你，有效無效不能這樣表示的... 用真值表你頂多說當Ａ、Ｂ為假時，～Ａ‧～Ｂ為真， 你在怎樣都無法表示～Ａ‧～Ｂ有效。 如果你真的想用符號邏輯表示有效性的定義，那你應該要這樣寫： Ｐ：一個論證是有效的 Ａ：所有的前提都為真 Ｂ：結論為真 Ｐ↔～（Ａ‧～Ｂ） --

※ 發信站: 批踢踢實業坊(ptt.cc) ◆ From: 124.8.224.198