A.命題B.否定 C.合取 D.等值
A、蘊(yùn)涵與有效性 B、等值 C、重言式與矛盾式 D、以上都對
A、當(dāng)且僅當(dāng) B、當(dāng)且惟若 C、只有……才…… D、是