题目
符号化下列命题并推证其结论
1.不存在白色的乌鸦,北京鸭是白色的,因此,北京鸭不是乌鸦.
2.所有有理数是实数,某些有理数是整数,因此某些实数是整数.
3.没有不守信用的人是可以信赖的,有些可以信赖的人是受过教育的人,因此,有些受过教育的人是守信用的.
请懂离散数学的同学回答下,正确的证明一个题目也给分!不要做无意义的灌水.
1.不存在白色的乌鸦,北京鸭是白色的,因此,北京鸭不是乌鸦.
2.所有有理数是实数,某些有理数是整数,因此某些实数是整数.
3.没有不守信用的人是可以信赖的,有些可以信赖的人是受过教育的人,因此,有些受过教育的人是守信用的.
请懂离散数学的同学回答下,正确的证明一个题目也给分!不要做无意义的灌水.
提问时间:2020-11-23
答案
由于无法输入,以下A代表全称量词,E代表存在量词,请注意更正.
2、设:F(x):x是有理数.G(x):x是实数.P(x):x是整数,原命题符号化为:
前提:Ax(F(x)→G(x)),Ex(F(x)∧P(x))
结论:Ex(G(x)∧P(x))
证明:(1)Ex(F(x)∧P(x)) 前提引入
(2)F(a)∧P(a) (1)EI
(3)F(a) (2)化简
(4)Ax(F(x)→G(x)) 前提引入
(5)F(a)→G(a) (4)UI
(6)G(a) (3)(5)假言推理
(7)P(a) (2)化简
(8)G(a)∧P(a) (6)(7)合取引入
(9)Ex(G(x)∧P(x)) (8)EG
3、设:F(x):x是守信用的.G(x):x是可以信赖的.P(x):x是受过教育的.
原命题符号化为:
前提:┒Ex(┒F(x)∧G(x)),Ex(G(x)∧P(x))
结论:Ex(P(x)∧F(x))
证明:(1)Ex(G(x)∧P(x)) 前提引入
(2)G(a)∧P(a) (1)EI
(3)G(a) (2)化简
(4)┒Ex(┒F(x)∧G(x)) 前提引入
(5)Ax(F(x)∨┑G(x)) (4)置换
(6)F(a)∨┑G(a) (5)UI
(7)F(a) (6)(3)析取三段论
(8)P(a) (2)化简
(9)F(a)∧P(a) (7)(8)合取引入
(10)Ex(P(x)∧F(x)) (9)EG
2、设:F(x):x是有理数.G(x):x是实数.P(x):x是整数,原命题符号化为:
前提:Ax(F(x)→G(x)),Ex(F(x)∧P(x))
结论:Ex(G(x)∧P(x))
证明:(1)Ex(F(x)∧P(x)) 前提引入
(2)F(a)∧P(a) (1)EI
(3)F(a) (2)化简
(4)Ax(F(x)→G(x)) 前提引入
(5)F(a)→G(a) (4)UI
(6)G(a) (3)(5)假言推理
(7)P(a) (2)化简
(8)G(a)∧P(a) (6)(7)合取引入
(9)Ex(G(x)∧P(x)) (8)EG
3、设:F(x):x是守信用的.G(x):x是可以信赖的.P(x):x是受过教育的.
原命题符号化为:
前提:┒Ex(┒F(x)∧G(x)),Ex(G(x)∧P(x))
结论:Ex(P(x)∧F(x))
证明:(1)Ex(G(x)∧P(x)) 前提引入
(2)G(a)∧P(a) (1)EI
(3)G(a) (2)化简
(4)┒Ex(┒F(x)∧G(x)) 前提引入
(5)Ax(F(x)∨┑G(x)) (4)置换
(6)F(a)∨┑G(a) (5)UI
(7)F(a) (6)(3)析取三段论
(8)P(a) (2)化简
(9)F(a)∧P(a) (7)(8)合取引入
(10)Ex(P(x)∧F(x)) (9)EG
举一反三
我想写一篇关于奥巴马的演讲的文章,写哪一篇好呢?为什么好
奥巴马演讲不用看稿子.为什么中国领导演讲要看?
想找英语初三上学期的首字母填空练习……
英语翻译
1,人们染上烟瘾,最终因吸烟使自己丧命.
最新试题
- 1这句话什么意思? because you have cross-eyed
- 224和21的最小公倍数和最大公因数是多少?是互质数吗?
- 37个人站成一排,甲不在排头,已不在排尾的排法共有多少种?要解题思路!
- 4某修路队修了一条公路,第一周修了全长的35%,第二周修了36千米,还剩25%没有修.这条
- 5我听说最毒的气体是二恶英(C12H4Cl4O2),请问有没有制取这种气体的方法,这种气体有没有什么用途
- 6氢氧化钠是我国古代纺织业常用作漂洗的洗涤剂.
- 7英语翻译
- 8匀减速直线运动追匀速直线运动的问题
- 9妈妈买回3千克苹果和2千克梨共用去31.20元,如果买4千克苹果和5千克梨需要56.30元,一千克梨和一千克苹果
- 10高为h的电梯,正竖直向上做匀加速运动,加速度为a,电梯的天花板上忽然有一颗螺丝松动下来,问,经过多长时间螺丝掉到电梯的地板上
热门考点
- 1I wang to 什么 a teacher
- 2爱的语言 丁立梅阅读答案
- 3已知角a的终边上有一点p的坐标(3a,4a)其中a≠0求sina,cosa,tana的值
- 4有加以两个牧童,甲对乙说 把你的羊给我一只,我的羊数就是你的羊数的两倍,已对甲说,如果你把你的羊给我一只,我们的羊数就一样了,两个牧童各有养多少只羊?
- 5下列动物中身体只有两个胚层的是( ) A.水蛭 B.水母 C.蚯蚓 D.草履虫
- 6英语翻译
- 7用牛顿第二运动定律解决问题
- 8take part与take part in
- 9my classmates go cycling every sunday 对划线部分提问
- 100.4g氢氧化钠恰好与10ml的盐酸完全反应,试求这种盐酸的物质的量浓度是多少?