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

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

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