展开全部
1.试解。如果形式化正确就能解决这个问题,先来翻译一下它的句子
(1)只有破获03号案件(p),才能确认A、B、C三人都是罪犯(q∧r∧s)。可以翻译为:非p→非(q∧r∧s)
(2)03号案件没有破获,即:非p
(3)如果A不是罪犯(非q),则A的供词是真的,而A说B不是罪犯(非r)
(4)如果B不是罪犯(非r),则B的供词是真的,而B说自己与C是好朋友(t)
(5)现查明C根本不认识B(非t)
问:A、B、C三人中,谁是罪犯?谁不是罪犯?请写出推导过程
(1)非p→非(q∧r∧s) P
(2)非p P
(3)非q→非r P
(4)非r→t P
(5)非t P
(6)r T4.5→-
(7)q T3.6→-
(8)非(q∧r∧s) T1.2→-
(9)非q∨非r∨非s T8德摩根
(10)非s T6.7.9∨-
由此推导可见A和B是罪犯,C暂时排除,因为03案件还没有破获。
(1)只有破获03号案件(p),才能确认A、B、C三人都是罪犯(q∧r∧s)。可以翻译为:非p→非(q∧r∧s)
(2)03号案件没有破获,即:非p
(3)如果A不是罪犯(非q),则A的供词是真的,而A说B不是罪犯(非r)
(4)如果B不是罪犯(非r),则B的供词是真的,而B说自己与C是好朋友(t)
(5)现查明C根本不认识B(非t)
问:A、B、C三人中,谁是罪犯?谁不是罪犯?请写出推导过程
(1)非p→非(q∧r∧s) P
(2)非p P
(3)非q→非r P
(4)非r→t P
(5)非t P
(6)r T4.5→-
(7)q T3.6→-
(8)非(q∧r∧s) T1.2→-
(9)非q∨非r∨非s T8德摩根
(10)非s T6.7.9∨-
由此推导可见A和B是罪犯,C暂时排除,因为03案件还没有破获。
展开全部
还算可以吧,读过好几年书
更多追问追答
追问
2、A、B、C、D争夺围棋冠军,已知下列三种说法中,有且只有一种说法正确。问谁夺得冠军?请写出推导过程。(1)冠军或是A,或是B(2)如果冠军不是C,那么冠军也不是D(3)冠军不是A
要求已知条件和推导过程都用公式表示
追答
1、A=B可能是其中一个是冠军,因为存在了二选一的概念
2、C与D是如果,就是不决定,又存在一个级别性差与相互性和质、最等级性,指要C不可能D就久有不可能的因素,指要不考虑到C的可能就没有D的可能
3、最后冠军不是A,那么只有一种可能就是B是冠军
4、还成在别外一种可能就是C,存在推测
5、正确说法是(3)冠军不是A
已赞过
已踩过<
评论
收起
你对这个回答的评价是?
展开全部
考研时看过基本逻辑书,发来看看,
追问
1、已知:(1)只有破获03号案件,才能确认A、B、C三人都是罪犯(2)03号案件没有破获(3)如果A不是罪犯,则A的供词是真的,而A说B不是罪犯(4)如果B不是罪犯,则B的供词是真的,而B说自己与C是好朋友(5)现查明C根本不认识B 问:A、B、C三人中,谁是罪犯?谁不是罪犯?请写出推导过程
要求已知条件和推导过程都用公式表示
追答
c不认识B----B是;-----A说谎----A也是;由第一条,得出--C不是
本回答被提问者采纳
已赞过
已踩过<
评论
收起
你对这个回答的评价是?
推荐律师服务:
若未解决您的问题,请您详细描述您的问题,通过百度律临进行免费专业咨询