作者ppu12372 (高能兒)
看板logic
標題Re: [請問] 真值表法 真假狀況
時間Wed Jan 15 23:01:55 2014
※ 引述《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
→ C87:您好，這是題目 01/15 23:12
→ ppu12372:well.....所以他是指定要用真值表法呀.... 01/15 23:13
→ ppu12372:用歸謬賦值法會不會被扣分呀? 01/15 23:14
→ ppu12372:你要不要寫信問助教,我很懶得用真值表法解XDDDDD 01/15 23:14
推 C87:呃.....實在很抱歉，原來真值表法就是一種解法阿 01/15 23:15
→ C87:這科沒有助教，拜託您了，我有8xx的P幣可以奉獻給您 01/15 23:16
→ ppu12372:哈,你應該是在修通識吧XDDDD 01/15 23:16
推 C87:對阿，期中還有及格，期中後完全跟不上，結果55分被當 01/15 23:18
→ C87:但是老師說50分以上的可以補考，我只好厚臉皮上網求救了 01/15 23:19
→ ppu12372:我明天再找時間看看吧,真值表法麻煩很多呀QQ 01/15 23:21
推 C87:明晚就要截止了，不管怎樣都很感謝您 01/16 00:00