共用题干题分别在全总个体域和实体个体域中，将下列命题符号化 对所有的实数x和所有的实数y，都有x+y=y+x

若m≥n，则G包含回路.

问答题若m≥n，则G包含回路.

存在着实数x，对所有的实数y，都有x-y=0

问答题存在着实数x，对所有的实数y，都有x-y=0

证明：在连通图中任意两条最长的通路都有公共结点。

问答题证明：在连通图中任意两条最长的通路都有公共结点。