>
数学
>
∀x(A(x)→B(x)),∀x(C(x)→┐B(x)) => 推出 ∀x(C(x)→┐A(x))
∀x(A(x)V B(x)),∀(B(x)→┐C(x),∀C(x) ,∀xC(x) => 推出 ∀xA(x)
证明以上两个式子.
人气:272 ℃ 时间:2019-12-10 22:17:54
解答
1 ∀x(C(x)→┐B(x))
2 C(y)→┐B(y)1UI
3∀x(A(x)→B(x))
4A(y)→B(y)3UI
5 ┐B(y)→┐A(y)4置换
6C(y)→┐A(y)25假言三段论
7 ∀x(C(x)→┐A(x))6UG
----------
1∀xC(x)
2C(y) 1UI
3∀(B(x)→┐C(x)
4 B(y)→┐C(y)3UI
5┐B(y) 24拒取式
6∀x(A(x)V B(x))
7A(y)V B(y)6UI
8A(y)57析取三段论
9∀xA(x)8UG
推荐
离散数学的谓词逻辑推理
关于逻辑推理的一点问题(离散数学)
帮我解离散数学的一条逻辑谓词证明题
离散数学命题逻辑推理题
谓词逻辑推理
三角形的内角和
在……中是介宾短语吗
Na+)=2(CO3-)+2(HCO3)+2(H2CO3)
猜你喜欢
2007年10月24日19时15分中国第一颗探月卫星“嫦娥一号”顺利发射成功
已知x2+y2-4x+6y+13=0,求x2-6xy+9y2的值.
六1班有男生30人,女生18人,后来转来多少个女生,这时女生的人数与男生人数的比2:不要方程,列式
已知A大于0,AB小于0 化简A-B-3 的绝对值 - 4+B-A 的绝对值
在杨氏双缝实验中两缝的间距为,缝至屏幕的距离为,用波长为的单色光做实验,则两相邻暗条纹的间距为( )
-X+2x-3x+4x+…-2007x+2008x
选择:()真分数的倒数都(),假分数的倒数都()或().A小于1.B等于1.C大于1.
郑人买履的语气因该用什么情感去读
© 2024 79432.Com All Rights Reserved.
电脑版
|
手机版