看板
[ logic ]
討論串[請益] 邏輯蘊含與實質蘊含
共 27 篇文章
內容預覽:
實質蘊含指的是if... ,then.... 記號會用單箭號表示. 邏輯蘊含是推論關係 ....entail...... 記號會用 |= (double turnstile). 真 是各不太容易處理的東西. 簡單的說. 我們先假定大家都知道什麼是真 所以暫時不予討論. 給他各記號 T或著1. 這樣可
(還有230個字)
內容預覽:
好問題,這個總算和邏輯有關了。. 我在剛學的時候也分不清楚,不過現在搞得比較清楚了。首先,我們得知. 道,「蘊含」這概念有強有弱。. 實質蘊含是所有蘊含最弱的,但也同時是所有類別的蘊含都必須遵守的。. 實質蘊含:簡單說就是該條件句的真值決定於組成該條件句的前件和後件. 各自「實際上」或「事實上」(i
(還有887個字)
內容預覽:
這我就不懂了。如果你看考題,考題兩個都用「真函如言」,不是嗎?. 而真函,也就是真值函數,的意思不就是我說的那個意思而已嗎?(從組. 成語句的真值到整句語句的真值,這兩arguments之間的mapping function). 舉例:. (A‧B) →B. 任何語句有這樣的形式,我們便可以說前件邏
(還有332個字)
內容預覽:
另外發點牢騷。我建議你換本課本。基本上我個人不建議讀中文書,因為爛. 的多好的極少,但初學者又沒有能力分辨,只好啃啊啃的然後把腦子也跟著. 啃壞掉了(西哲版就有一票啃中文書腦子給啃壞掉的)。. 哪有人這樣子循環解釋的?要解釋邏輯、蘊含,結果解釋項中包含被解釋項. ,這是怎樣?. 哪本書啊?貼出來叫大
(還有89個字)