Re: [請問] 真值表法真假狀況

看板logic作者ppu12372 (高能兒)時間10年前 (2014/01/15 23:01)推噓5(5推 0噓 8→)

留言13則, 2人參與討論串2/4 (看更多)

※ 引述《C87 (D90)》之銘言： ※ [本文轉錄自 ask 看板 #1IrbXCp6 ] 作者: C87 (D90) 看板: ask 標題: [請問] 真值表法真假狀況時間: Wed Jan 15 17:43:38 2014 1.[(P V Q) ^┐P ]→Q 0 1 0 1 1 0 0 重言式蘊含式 2.[(P→Q)^Q]→ P 0 1 0 1 1 0 1 不為重言蘊含式 3.P→(PˇQ) 0 1 0 0 0 重言蘊含式 4.P→(Pˇ┐Q) 0 1 0 0 1 0 重言蘊含式 5.[(P^┐Q)→P]→┐Q 0 1 0 1 10 1 不為重言蘊含式 6.┐Q^Q 0 1 0 ┐Q^Q 1 1 0 0 1 矛盾式 ................................................................. 話說題目有要求要判斷其為偶真式或矛盾式嗎?? 還是只要判斷是否為重言式就好? 如果要判斷其為偶真式或矛盾式的話那我第二和第五題就得繼續寫了QQ 對了,歸謬賦值法的基本思路是: 假設該命題為假,若推得矛盾,則其為重言式反之亦然有問題可以再提出 -- ※ 發信站: 批踢踢實業坊(ptt.cc) ◆ From: 114.34.29.100 ※ 編輯: ppu12372 來自: 114.34.29.100 (01/15 23:06)

推

C87

01/15 23:10, , 1^F

01/15 23:10, 1^F

推

C87

01/15 23:12, , 2^F

01/15 23:12, 2^F

→

C87

01/15 23:12, , 3^F

01/15 23:12, 3^F