邏輯導論投影片.ppt

[?]{} 邏輯涵蘊(logical implication) 邏輯涵蘊，其是兩個敘說形式之間的一種關係。一個敘說形式邏輯地涵蘊另一個，恰好如果在它們的連合真值表裡沒有前者為真後者為假的列。 P邏輯涵蘊q，並不表示q就邏輯涵蘊p，也不表示q沒有邏輯涵蘊p。同樣地，即使p沒有邏輯涵蘊q，並不表示q就沒有邏輯涵蘊p，也不表示q邏輯涵蘊p。 例1. (1) p ? q(2) (~p ∨ q)T T TT T TT F FT F FF T TF T TF T FF T F(1)邏輯涵蘊(2)(2)邏輯涵蘊(1) 例1.1 (1) p ? p(2) (p ∨ ~p)T T TT T FT T TT T FF T FF T TF T FF T T(1)邏輯涵蘊(2)(2)邏輯涵蘊(1) 例2. (1) p ∧ q(2)pT T TTT F FTF F TFF F FF(1)邏輯涵蘊(2)(2)沒有邏輯涵蘊(1)例2.1 (1) p ? q(2) p ? qT T TT T TT F FT F FF F TF T TF T FF T F(1)邏輯涵蘊(2)(2)沒有邏輯涵蘊(1) 例3. (1) p ∨ q(2)pT T TTT T FTF T TFF F FF(1)沒有邏輯涵蘊(2)(2)邏輯涵蘊(1) 例3.1 (1) p ? q(2) p ∧ qT T TT T TT F FT F FF T TF F TF T FF F F(1)沒有邏輯涵蘊(2)(2)邏輯涵蘊(1) 例4. (1) p ? q(2) p ∨ qT T TT T TT F FT T FF F TF T TF T FF F F(1)沒有邏輯涵蘊(2)(2)沒有邏輯涵蘊(1) 例4.1 (1) p ? q(2) qpT T TT T TT F FF T TF T TT F FF T FF T F(1)沒有邏輯涵蘊(2)(2)沒有邏輯涵蘊(1) 例5.(1) (p ? q ) ∧ (q ? r) (2) ( p ? r)T T T T T T TT T TT T T F T F FT F FT F F F F T TT T TT F F F F T FT F FF T T T T T TF T TF T T F T F FF T FF T F T F T TF T TF T T T F T FF T F(1)邏輯涵蘊(2)(2)沒有邏輯涵蘊(1)任何一個語句必定自己邏輯涵蘊自己。用p表示任何語句，根據真值表，可以肯定p必定邏輯涵蘊自己。 例1. p ? p 例2. (p ∧ q) ? (p ∧ q)T T TT T T T T T TF T FT F F T T F FF F T T F F TF F F T F F F邏輯涵蘊又稱為形式涵蘊(formal implication)。所謂p語句邏輯涵蘊q語句，就是說「p ? q」是一個套套言。也就是說從p語句可以有效推論出q語句。 例：若(p ∧ q)邏輯涵蘊p，則(p ∧ q ) ?p是一個套套言。同樣地，若(p ∧ q)邏輯涵蘊q，則(p ∧ q ) ?q是一個套套言。(p ∧ q ) ? p(p ∧ q ) ? qT T T T TT T T T TT F F T TT F F T FF F T T FF F T T TF F F T FF F F T F套套言套套言若p ? q邏輯涵蘊~p ∨ q，則 (p ? q) ?(~p ∨ q)是一個套套言。(p ? q) ? (~p ∨ q)T T T T F T TT F F T F F FF T T T T T TF T F T T T F 一個如言若為套套言，則不論以任何語句取代，其所含的單句，絕不可能產生一個假的如言。換言之，只要前件真，則後件必定為真。語句與語句之間的這種關係叫做「語句涵蘊」(sentential implica