作者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