问答题
(∀x)(∃y)C(x,y)
整数集合Z
问答题 T是连通无向图G的生成树的充分必要条件是:T是G的连通生成子图,且T有n-1条边,这里n是G的结点数.
问答题 (x)B(x)
问答题 G的任一割集S的关于G的补G-S(从G中删除所有S中的边)中不含有G的生成树。