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

G的任一生成树T的关于G的补G-T中不含有G的割集

问答题G的任一生成树T的关于G的补G-T中不含有G的割集

（x）A（x）

问答题（∃x）A（x）

边e是简单连通图G的割边，当且仅当e不在G的任一回路上，试证明之．

问答题边e是简单连通图G的割边，当且仅当e不在G的任一回路上，试证明之．