作者andy2007 (...)
看板Math
标题[其他] 逻辑推论的有效性
时间Sun May 22 17:04:55 2011
各位前辈好，不知道这里可不可以问逻辑的问题，如果有违反版规会删除的。
题目如下：
下列是推论，横线之上是推论的条件，横线之下是推论之结论，试问推论是否成立？
其中：推论有效
肯定前项→肯定後项
否定後项→否定前项
推论无效
肯定後项→肯定前项
否定前项→否定後项
在有效推论原则中，推论语句的「真假」不会妨碍推论有效性的成立。
=======================================
例如：
识时务者为俊杰 (推论) Ａ→Ｂ
张三不是俊杰 (推论的条件) －Ｂ
──────
张三不识时务 (推论的结论) －Ａ
推论为：（Ａ→Ｂ）
否定後项→否定前项 => 推论有效
=======================================
我要问的题目为：
台南不在美国 Ａ→Ｂ
台湾不在美国 Ｂ
──────
台南在台湾
它这里说「台南在台湾」这个词，应该要怎麽想呢？
如果说肯定前项、否定前项，这样感觉又好像不对，因为不是说「台湾（不）在台南」
========================================
另外还有相似的问题：
马不是羊 Ａ→Ｂ
牛不是羊 Ｂ
────
马不是牛
========================================
甲乙两人之一谋害丙 (推论符号该如何写呢？) （ＡˇＢ）→Ｃ这样子可以吗？
甲并未谋害丙
──────
乙谋害丙
===
逻辑观念不好，请各位前辈们指点迷津
再次感谢您们的帮忙，谢谢您们～
--
※ 发信站: 批踢踢实业坊(ptt.cc)
◆ From: 140.125.169.71
※ 编辑: andy2007 来自: 140.125.169.71 (05/22 17:05)
1F：推 s511320 :从结果往前推试试看 05/22 17:31
2F：→ andy2007 :谢谢前辈～可以说明的详细点吗 Orz 05/22 19:11
3F：推 mk426375 :1. p V q 2. -p /∴ q 05/22 23:00
4F：→ mk426375 :其实这篇文的问题用述词逻辑会比较好处理@@ 05/22 23:02
5F：→ mk426375 :不过单纯论有效性，只要不会有"前提全真而结论假" 05/22 23:03
6F：→ mk426375 :的情形出现就算有效 05/22 23:04