作者lofi23 (一番宅！生不出啤酒~)
看板logic
標題[請益] 邏輯蘊含與實質蘊含
時間Fri Mar 9 20:16:10 2007
在某校的考古題上看到這兩個名詞。
翻了一些書，找到定義如下：
實質蘊含：若一個真函如言為真，則前件實質蘊含後件。
邏輯蘊含：若一個真函如言"邏輯上"為真，則前件邏輯蘊含後件。
我想請教的是關於"邏輯上為真"，指的是什麼意思呢？
另外想問一個邏輯符號，長的像等號，但是是三條線...
請問這個符號是什麼？
又他在邏輯推論中有什麼規則必須遵守，或使用？
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 218.167.41.49