單項(xiàng)選擇題"P當(dāng)且僅當(dāng)q"與"要么P要么q"這兩個(gè)邏輯形式是()。

A.等值式
B.矛盾式
C.不同的邏輯常項(xiàng)和變項(xiàng)
D.相同的邏輯常項(xiàng)和變項(xiàng)


您可能感興趣的試卷