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