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

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

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

围长为5的k-正则图至少有k2+1个结点．

问答题围长为5的k-正则图至少有k²+1个结点．

对所有实数x，都存有实数y，使得x-y=0

问答题对所有实数x，都存有实数y，使得x-y=0