單項(xiàng)選擇題

"P當(dāng)且僅當(dāng)q"與"要么P要么q"這兩個邏輯形式是()。

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

微信掃碼免費(fèi)搜題