共用题干题指出一个个体域，使下列被量化谓词的真值为真，该个体域是整数集合的最大子集。在以下各题中，A（x）表示：x>0，B（x）表示：x=5，C（x，y）表示：x+y=0 （∀x）（∃y）C（x，y）

T是连通无向图G的生成树的充分必要条件是：T是G的连通生成子图，且T有n-1条边，这里n是G的结点数． 点击查看答案

（x）B（x） 点击查看答案