首页
设论域是全体人类,F(x):x能呼吸,要求只能使用存在量词,命题“所有人都能呼吸”可符号化为_________。
2024-08-03 23:46:07
离散数学(02324)
设论域是全体人类,F(x):x能呼吸,要求只能使用存在量词,命题“所有人都能呼吸”可符号化为_________。
【正确答案】:¬(∃x(¬F(x))
上一篇:
含有n个命题变元的命题公式,共有_________组指派。
下一篇:
设S(x):x是人,G(x):x会思考,则命题“人都会思考”可符号化为___________。