设论域是全体人类,F(x):x能呼吸,要求只能使用存在量词,命题“所有人都能呼吸”可符号化为_________。

分类: 离散数学(02324) 发布时间: 2024-08-03 23:46 浏览量: 5
设论域是全体人类,F(x):x能呼吸,要求只能使用存在量词,命题“所有人都能呼吸”可符号化为_________。
【正确答案】:¬(∃x(¬F(x))