题目类型:
问答题
题目内容
设论域是全体人类,F(x):x能呼吸,要求只能使用存在量词,命题“所有人都能呼吸”可符号化为___________________。
正确答案
题目解析
“所有人都能呼吸”可理解为“不存在不能呼吸的人”。也可先符号化“所有人都能呼吸”为
,然后再利用等值演算转化为只使用存在量词。