问答题符号化下列命题,并构造推理证明。中华牙防组委员会成员都是教授,并且是牙医;有些中华牙防组委员会成员是资深专家。所以,有的中华牙防组委员会成员是牙医,且是资深专家。
问答题设A,B,C是集合。证明:A∩(B∪C)=(A∩B)∪(A∩C)。
问答题设〈S,·〉是独异点,e是单位元,且S中任意x,有x·x=e。证明:〈S,·〉是交换群。
问答题设G是无向简单图,有2n个结点且每个结点度数均为n。证明:G是连通图。
问答题其中有几条回路