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