()是指一个论证有效性的形式证明。
A:文恩图检验
B:形式演绎
C:三段论
D:逻辑验算
出自:哲学