有的北京人没有去过香山！离散数学 符合化

Question

如题所述

Answer 1

这是一个简单的存在量词和全称量词的命题。
题目中的句子是：'有的北京人没有去过香山！'
翻译成离散数学的逻辑表达式是：存在一个北京人x，使得x没有去过香山。
用符号表示为： EXISTS x (北京人(x) AND NOT(去过香山(x)))
所以，符合化后的离散数学表达式为：EXISTS x (北京人(x) AND NOT(去过香山(x)))

Answer 2

A(x)：x是北京人
B(x)：x去过香山

∃x(A(x)∧¬B(x))本回答被网友采纳

Answer 3

去过。