Unit5真值表法.pptVIP

MP4-1031 00:42:46 我給各位10秒鐘來練習這個題目。 * MP4-1031 00:43:48 在走到CNF之前，我想跟各位說明一下這件事。 * MP4-1031 00:43:56 如果真值表出現的情況都是F的情況，根據我們剛剛講法是什麼？沒有相對應的DNF對吧。 可是那個?我們會不會知道？雖然我們知道他沒有相對應的DNF，可是那個?我們隨便寫一個contradiction進去就可以了。 現在問題來了。 * MP4-1031 00:44:26 我們如果隨便寫一個contradiction進去會發生這樣的一個情況，我們可以寫成?(P?P)、 ?(Q?Q)、 ?(R?R)、P??P、 Q??Q、 R??R，這些都可以對吧？那如果我們出了這樣一個題目，結果有位同學認為寫成S??S可以嗎？ 請問各位，他這樣的想法是正確的嗎？ 同學A：「可以，因為符合它是矛盾句。」非常好的理由，因為它本身已經是矛盾句了。 同學B：「倒回去寫真值表。」倒回去寫真值表怎麼寫出來？ C同學找了一個非常好的方法，我們就不要看S，就隨便用P或Q帶進S的位置就好，不要把它當一個formula，把它當作是一個可以取代樣子就可以了。B同學他的回應你接受嗎？ 還是不行？沒關係，我來幫你解釋一下。在這個真值表裡面沒有出現S這個原子命題，所以我們會說S在這個真值表裡面的地位是undefined。 所以他如果沒有出現就會像B同學講的一樣，他其實是undefined。 那C同學講的對不對？好像也蠻符合我們直覺的。所以其實在這裡他會有不同的觀點，並沒有說哪個對哪個錯。 * MP4-1031 00:50:08 接下來我們要走入CNF。 DNF是要從什麼情況為真來組織DNF，而CNF剛好相反，是我們要從什麼情況為假去組織CNF。 如果你要從假來組織，全部conjunction只要有一個為假，那麼整句話最後得到的真假值就是假。 其實CNF做的方式跟DNF差不多，只是從另一個方向來考慮。 * MP4-1031 00:52:07 CNF和DNF的差別在於狀態描述，剛剛是用conjunction的方式，那我們現在要組織假的部分。 第一個情況是P真Q真，那麼這個state什麼時候為假？只要其中一個為假就可以，所以是?P ? ?Q。 * MP4-1031 00:52:47 我們先把出現F的情況找出來，然後把所有F的情況用conjunction的方式連接起來，就是我們要的CNF。 * MP4-1031 00:53:14 這個例子只有一個情況為假，不要懷疑那個組合狀態描述就是我們要的CNF。 * MP4-1031 00:53:31 所以與?等值的CNF就是(P ? ?Q)。 * MP4-1031 00:53:50 第一、四個情況為F。 * MP4-1031 00:54:05 所以與?等值的CNF是(?P ? ?Q) ?(P ? Q)。 * MP4-1031 00:54:05 同樣的，如果是三個的，我再帶各位練習一下。 分別有五個F的情況，所以會需要有五個conjunct，這五個conjunct裡面分別都是一個disjunction，他現在要組織的是使他為假的情況，所以我們要放的方式是，如果這個命題符號在這個情況裡面本身就是假，那就直接寫上去。 那如果他是為真的，我們就要放他的negation，跟剛剛DNF的方式剛好相反對吧。 所以第一個情況是(?P ? ?Q ? ?R) 第四個情況是(?P ? ?Q ? R ) 第五個情況是(P ? ?Q ? ?R ) 第七個情況是(P ? Q ? ?R) 第八個情況是(P?Q?R) 這樣就完成我們所需要的CNF。 * MP4-1031 00:57:14 所以基本上我們可以用這樣的方式解決的一個重要關鍵就是，我們不單單可以用真值表來決定這句話是什麼意思，我們也可以倒過來用真值表來決定這個語句是什麼。 各位如果回去看第五單元的練習，會看到這樣一個題目：(P→Q)→R 我們要找出他相對應的DNF和CNF，那我們應該要怎麼做？ 第一步先把他的真值表寫出來，再利用剛剛我們寫DNF跟CNF的方法把他找出來，那個就是與他等值的DNF跟CNF。 * MP4-1031 00:58:52 那這題的CNF怎麼辦？ 沒錯，他沒有的CNF。 基本上這樣的情況你會發現，根本寫不出任何相對應的CNF， 那很簡單，你就寫沒有相對應CNF。 * 1024-3(00024) 00:09:48 這個(e)也一樣，各位可以看的出來，有一個情況前提皆真，結論為假，所以可以看的出來是無效論證。 * 1024-3(00024) 00:10:00 無效論證也一樣要寫出正確的sequence以及反例。 * 10