A. 矛盾式 B. 蕴涵式 C. 重言式 D. 等价式
A. Q→(P∨Q) B. (P∧Q)→P C. ¬(P∧¬Q)∧(¬P∨Q) D. (¬P∨Q)↔(P→Q)
A. 重言式 B. 可满足式 C. 矛盾式 D. 等值式
A. 对 B. 错