Tautology, 永真式, Contingency, 可能, Logically equivalent, 逻辑等价. Predicate, 谓词, Propositional function, 命题函数, Domain of discourse ...
確定! 回上一頁