[其他] 邏輯推論的有效性
各位前輩好，不知道這裡可不可以問邏輯的問題，如果有違反版規會刪除的。
題目如下：
下列是推論，橫線之上是推論的條件，橫線之下是推論之結論，試問推論是否成立？
其中：推論有效
肯定前項→肯定後項
否定後項→否定前項
推論無效
肯定後項→肯定前項
否定前項→否定後項
在有效推論原則中，推論語句的「真假」不會妨礙推論有效性的成立。
=======================================
例如：
識時務者為俊傑 (推論) Ａ→Ｂ
張三不是俊傑 (推論的條件) －Ｂ
──────
張三不識時務 (推論的結論) －Ａ
推論為：（Ａ→Ｂ）
否定後項→否定前項 => 推論有效
=======================================
我要問的題目為：
臺南不在美國 Ａ→Ｂ
臺灣不在美國 Ｂ
──────
臺南在臺灣
它這裡說「臺南在臺灣」這個詞，應該要怎麼想呢？
如果說肯定前項、否定前項，這樣感覺又好像不對，因為不是說「臺灣（不）在臺南」
========================================
另外還有相似的問題：
馬不是羊 Ａ→Ｂ
牛不是羊 Ｂ
────
馬不是牛
========================================
甲乙兩人之一謀害丙 (推論符號該如何寫呢？) （ＡˇＢ）→Ｃ這樣子可以嗎？
甲並未謀害丙
──────
乙謀害丙
===
邏輯觀念不好，請各位前輩們指點迷津
再次感謝您們的幫忙，謝謝您們～
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 140.125.169.71
※ 編輯: andy2007 來自: 140.125.169.71 (05/22 17:05)
推
05/22 17:31, , 1F
05/22 17:31, 1F
→
05/22 19:11, , 2F
05/22 19:11, 2F
推
05/22 23:00, , 3F
05/22 23:00, 3F
→
05/22 23:02, , 4F
05/22 23:02, 4F
→
05/22 23:03, , 5F
05/22 23:03, 5F
→
05/22 23:04, , 6F
05/22 23:04, 6F