[請益] 一道邏輯題目

看板logic作者 (腦沙拉手術)時間13年前 (2012/11/28 00:02), 編輯推噓2(2推 0噓 7→)
留言9則, 3人參與, 最新討論串1/1
看到一個是非題， ( ) 一個前提全部都為假的有效論證，雖然其結論有可能為真， 卻不可能為邏輯真(logically true)。 想要請問各位板友這題的答案， 另外，甚麼是邏輯真? -- ※ 發信站: 批踢踢實業坊(ptt.cc) ◆ From: 140.112.218.66
推
11/28 19:29, , 1F
邏輯真，簡單講，可以當作恆真句
11/28 19:29, 1F
→
11/28 19:30, , 2F
這個是非題的答案是「X」。
11/28 19:30, 2F
→
11/28 19:30, , 3F
例如，前提是「A且非A」，結論是「A或非A」
11/28 19:30, 3F
→
11/28 22:05, , 4F
感謝回答，另外我想問 一個論證是有效的是否所有前提邏輯
11/28 22:05, 4F
→
11/28 22:05, , 5F
所有前提的聯集邏輯蘊含了結論?
11/28 22:05, 5F
推
11/29 02:29, , 6F
若邏輯蘊含的意思是「使用邏輯推論的規則進行推論」的話
11/29 02:29, 6F
→
11/29 02:30, , 7F
那麼有效的意思應該是可以說明成那樣子
11/29 02:30, 7F
→
11/29 02:30, , 8F
但嚴格地說,"有效的"定義是"不可能前提都為真而結論為假"
11/29 02:30, 8F
→
12/07 00:54, , 9F
答案是「非」，例「若小明愛小王，則單身漢是男性」
12/07 00:54, 9F
‣ 更多 th11yh23 的文章
文章代碼(AID): #1GjEGB_m (logic)