根据形式演绎方法，如果结论能够被通过使用（）从给定前提中一步一步地演绎出来，那么这个论证被表明是有效的。

（）是指一个论证有效性的形式证明。A.文恩图检验B.形式演绎C.三段论D.逻辑验算

单项选择题（）是指一个论证有效性的形式证明。

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

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

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

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