作者yggdrasils (尤克特拉希爾)
看板logic
標題[請益] 有效性的定義（以真值表表示）
時間Sat Sep 18 23:55:52 2010
有效性的定義：一個論證是有效的，若且為若，不可能出現所有的前提都為真，而且結論
為假的情形。
A：所有的前提都為真
B：結論為真
有效性的定義以真值表表示：
~ A ^ ~ B
a： F T F F T
b： T F T F T
c： F T F T F
d： T F T T F
3 1 * 4 2
a:論證無效（不是「所有前提都為真」，而且不是「結論為真」）
b:論證無效（「所有前提都為假」，而且不是「結論為真」）
c:論證無效（不是「所有前提都為真」，而且「結論為假」）
d:論證有效（「所有前提都為假」，而且「結論為假」）
所有前提為假，而且結論為假，若且為若，論證有效。
請教版友，上述真值表跟文字敘述哪裡有問題，而不能使有效性的定義可用真值表表示。
--
我們利用的錢，只是我們所設立的習俗罷了。在習俗裹它有它的功用；頒令它當錢，它
就變成錢。然而，事實上「錢是什麼」沒有人能說得上來。當某事得到了普遍的認同，
而後就會產生一個習俗來滿足這需求。世問就是這樣。---《生此》
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 123.192.4.11
1F：推 LiuSky:這又不是一個論證 只是一句述句罷了 = = 09/19 00:08
2F：推 t0444564:同上，你的討論中沒有結論? 09/19 00:47
※ 編輯: yggdrasils 來自: 123.192.4.11 (09/19 01:18)
3F：推 LiuSky:看了修改後的文章 你根本混淆了有效無效和真假的概念了... 10/09 18:03
4F：→ teves:問題多到我不知道到底你想表達什麼XD 10/11 13:17
5F：→ teves:~A^~B是什麼?如果所是把有效性那一句轉過來也不對啊 10/11 13:19
6F：→ teves:然後真值表裡的值也不對啊 10/11 13:20