8、反演归结(消解)证明定理时,若当前归结式是()时,则定理得证。

A.永真式 B.包孕式 C.空子句 D.重言式

时间:2024-05-01 09:22:17

相似题目