‎一个割边集与任何生成树之间（）。

单项选择题连通非平凡的无向图G有一条欧拉回路当且仅当图G是（）。

A.只有三个奇度结点
B.没有奇度结点
C.只有一个奇度结点
D.只有两个奇度结点

单项选择题在公式：中，自由出现的变元是（）。

A.第一个x
B.z
C.第二个x
D.y

单项选择题P®（P∧Q）的类型是（）。

A.重言式
B.矛盾式
C.非重言可满足式

单项选择题P∧Q的对偶式是（）。

A.﹁P∨﹁Q
B.P∧Q
C.P∨Q
D.﹁P∧﹁Q

单项选择题我家的猫要么在阳台睡觉，要么在厨房吃肉。现在没在阳台找到它，那它肯定在厨房。请问这使用了什么推理定律？（）

A.析取三段论
B.构造性二难
C.假言推理
D.拒取式