大概看懂你想表達什麼了...
※ 引述《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