第1题
第2题
设个体域为D={x|x是人},L(x,y):x喜欢y.将下列命题符号化。
(1)所有的人都喜欢赵小宝.
(2)所有的人都喜欢某些人.
(3)没有人喜欢所有的人.
(4)每个人都喜欢自己.
第3题
将下列命题符号化,个体域为实数集合R,并指出各命题的真值.
(1) 对所有的x,都存在y,使得x·y=0.
(2)存在着x.对所有的y都有x·y=0.
(3)对所有x,都存在着y,使得y=x+1.
(4)对所有的x和y,都有x·y=y·x.
第4题
第5题
第6题
第7题
符号化下列各命题,并给出构造推理证明,
①每一个自然数不是奇数就是偶数,自然数是偶数当且仅当它能被2整除.并不是所有自然数都能被2整除.因此,有的自然数是奇数.
②如果一个人怕困难,那么他就不会获得成功.每个人或者获得成功或者失败过.有些人未曾失败过,所以有些人不怕困难.
③每个科学工作者都是刻苦钻研的.每个刻苦钻研而又聪明的科学工作者在他的事业中都将获得成功.华有为是科学工作者并且是聪明的,所以华有为在他的事业中将获得成功.
④每位资深名士或是中科院院士或是国务院参事.所有的资深名士都是政协委员.张大为是资深名士,但不是中科院院士.因此有的政协委员是国务院参事.
第9题
第10题
将下列命题用0元谓词符号化.
(1)王小山来自山东省或河北省.
(2)除非李联不怕吃苦,否则她不会取得这样好的成绩.
(3)不是有理数.
(4)3大于2仅当3大于4.
为了保护您的账号安全,请在“上学吧”公众号进行验证,点击“官网服务”-“账号验证”后输入验证码“”完成验证,验证成功后方可继续查看答案!