Question

在线等，离散数学

在线等，离散数学符号化命题，判断，它们是否有效

专业委员会成员都是教授，并且是计算机设计师，有些成员是资深专家，所以有点成员是计算机设师，且是资深专家

• 你的回答被采纳后将获得：
• 系统奖励15（财富值+成长值）+难题奖励20（财富值+成长值）

Answer 1

爸爸看了，有的
∀O⊆A教授,∀O⊆B机师,∃O⊆C专家.

∃(O⊆B∩O⊆C)