共用题干题指出一个个体域，使下列被量化谓词的真值为真，该个体域是整数集合的最大子集。在以下各题中，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的结点数．

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

（x）B（x）

问答题（∃x）B（x）

G的任一割集S的关于G的补G-S（从G中删除所有S中的边）中不含有G的生成树。

问答题G的任一割集S的关于G的补G-S（从G中删除所有S中的边）中不含有G的生成树。