（）是指一个论证有效性的形式证明。

真值函项等值又被称为（）。A、函项等值B、真值表C、逻辑等值D、真值函项

单项选择题真值函项等值又被称为（）。

构造真值表，基于的逻辑算子规则不包括（）。A.命题B.否定 C.合取 D.等值

单项选择题构造真值表，基于的逻辑算子规则不包括（）。

真值表可以用来判定（）。A、蕴涵与有效性B、等值C、重言式与矛盾式D、以上都对

单项选择题真值表可以用来判定（）。