※ 引述《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