单项选择题
根据形式演绎方法，如果结论能够被通过使用（）从给定前提中一步一步地演绎出来，那么这个论证被表明是有效的。
A、有效论证 B、逻辑等值 C、重言式原则 D、以上都对
单项选择题 （）是指一个论证有效性的形式证明。
单项选择题 真值函项等值又被称为（）。
单项选择题 构造真值表，基于的逻辑算子规则不包括（）。
