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