单项选择题
（）是指一个论证有效性的形式证明。
A.文恩图检验B.形式演绎C.三段论D.逻辑验算
单项选择题 真值函项等值又被称为（）。
单项选择题 构造真值表，基于的逻辑算子规则不包括（）。
单项选择题 真值表可以用来判定（）。
