Re: [請益] 邏輯蘊含與實質蘊含
※ 引述《lofi23 (一番宅！生不出啤酒~)》之銘言：
: 在某校的考古題上看到這兩個名詞。
: 翻了一些書，找到定義如下：
: 實質蘊含：若一個真函如言為真，則前件實質蘊含後件。
: 邏輯蘊含：若一個真函如言"邏輯上"為真，則前件邏輯蘊含後件。
實質蘊含指的是if... ,then...
記號會用單箭號表示
邏輯蘊含是推論關係 ....entail.....
記號會用 |= (double turnstile)
: 我想請教的是關於"邏輯上為真"，指的是什麼意思呢？
真 是各不太容易處理的東西
簡單的說
我們先假定大家都知道什麼是真 所以暫時不予討論
給他各記號 T或著1
這樣可以當作邏輯上為真
如果你想更進一步的瞭解 可以這樣講
當我們說一個句子是真的時候
我們是基於某些"背景"(結構)下的判斷
舉各例子 要說P:這釘書機是紅的 這句話P是真的
我們可能得先看到這釘書機 才能知道他的顏色是什麼
對你來說 你無法看見我現在看到的釘書機
所以你無法判斷P是不是真的
但我卻可以進行判斷 因為我有的比你多了些東西
對比到邏輯上來說
當我們在說明某東西是真的時候
也是需要某些其他的背景或是結構才能成立
: 另外想問一個邏輯符號，長的像等號，但是是三條線...
: 請問這個符號是什麼？
: 又他在邏輯推論中有什麼規則必須遵守，或使用？
這符號是邏輯上相等 和雙箭號相同
他和V(或)一樣都是真值的函數元 (truth-functor)
在自然語言上叫做if and only if, 若且唯若
在三條線兩邊的真值相等
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 140.112.143.98
推
03/09 22:17, , 1F
03/09 22:17, 1F
討論串 (同標題文章)