作者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)
1F:推 C87:我目前没有电脑,只有手机 01/15 23:10
3F:→ C87:您好,这是题目 01/15 23:12
4F:→ ppu12372:well.....所以他是指定要用真值表法呀.... 01/15 23:13
5F:→ ppu12372:用归谬赋值法会不会被扣分呀? 01/15 23:14
6F:→ ppu12372:你要不要写信问助教,我很懒得用真值表法解XDDDDD 01/15 23:14
7F:推 C87:呃.....实在很抱歉,原来真值表法就是一种解法阿 01/15 23:15
8F:→ C87:这科没有助教,拜托您了,我有8xx的P币可以奉献给您 01/15 23:16
9F:→ ppu12372:哈,你应该是在修通识吧XDDDD 01/15 23:16
10F:推 C87:对阿,期中还有及格,期中後完全跟不上,结果55分被当 01/15 23:18
11F:→ C87:但是老师说50分以上的可以补考,我只好厚脸皮上网求救了 01/15 23:19
12F:→ ppu12372:我明天再找时间看看吧,真值表法麻烦很多呀QQ 01/15 23:21
13F:推 C87:明晚就要截止了,不管怎样都很感谢您 01/16 00:00