题目
∀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)
证明以上两个式子.
∀x(A(x)V B(x)),∀(B(x)→┐C(x),∀C(x) ,∀xC(x) => 推出 ∀xA(x)
证明以上两个式子.
提问时间:2020-10-27
答案
1 ∀x(C(x)→┐B(x))
2 C(y)→┐B(y) 1UI
3 ∀x(A(x)→B(x))
4 A(y)→B(y) 3UI
5 ┐B(y)→┐A(y) 4置换
6 C(y)→┐A(y) 25假言三段论
7 ∀x(C(x)→┐A(x)) 6UG
----------
1 ∀xC(x)
2 C(y) 1UI
3 ∀(B(x)→┐C(x)
4 B(y)→┐C(y) 3UI
5 ┐B(y) 24拒取式
6 ∀x(A(x)V B(x))
7 A(y)V B(y) 6UI
8 A(y) 57析取三段论
9 ∀xA(x) 8UG
2 C(y)→┐B(y) 1UI
3 ∀x(A(x)→B(x))
4 A(y)→B(y) 3UI
5 ┐B(y)→┐A(y) 4置换
6 C(y)→┐A(y) 25假言三段论
7 ∀x(C(x)→┐A(x)) 6UG
----------
1 ∀xC(x)
2 C(y) 1UI
3 ∀(B(x)→┐C(x)
4 B(y)→┐C(y) 3UI
5 ┐B(y) 24拒取式
6 ∀x(A(x)V B(x))
7 A(y)V B(y) 6UI
8 A(y) 57析取三段论
9 ∀xA(x) 8UG
举一反三
我想写一篇关于奥巴马的演讲的文章,写哪一篇好呢?为什么好
奥巴马演讲不用看稿子.为什么中国领导演讲要看?
想找英语初三上学期的首字母填空练习……
英语翻译
1,人们染上烟瘾,最终因吸烟使自己丧命.
最新试题
- 1把-1 +2 -3 +4 -5 +6 -7 +8 -9填入方框中,使每行.每列.每条对角线上三个数满足.三个数和相等.
- 2等差数列{an}中、已知a6+a8+a12+a14=40、则S19=?
- 3利用关系式判断 5X=y x和y成【 】比例 X分之2=y x和y成【 】比例
- 42sin²12分之7π-1=
- 5正中下怀和屡试不爽两个词语我不是很明白 意思和我从字面上理解的正相反 麻烦懂得给解释
- 6想象作文以《假如记忆可以移植》为题
- 7关于数学的负数··
- 8对a mobile phone提问用什么?
- 9包罗万象的意思是什么拜托各位了 3Q
- 10they are ( ) at home for vacation ,they think staying at home is ( ) A relaxed ,relaxing
热门考点
- 1“蔓”有几个读音
- 2我们平常用的镜子是玻璃镜还是平面镜
- 3What is the capital city of China? 有哪两种回答?
- 420℃,把50g硝酸钾投入80g水中,得到的溶液中溶质的质量分数是( )%(20℃时,硝酸钾的溶解度为31.6g)
- 50.000000.84(2004个0)除以0.00000.3(2003个0)等于多少?
- 6The students brorrowed some money()his friends to start his own business .
- 710.求不规则物体的体积 在一个长80厘米,宽60厘米的长方体水槽中,放入一个长方体铁块,铁块完全侵入水中
- 8这句英文,的中文意思是?
- 9六边形的内角和等于( ) A.180° B.360° C.540° D.720°
- 10老舍先生阅读答案