单项选择题 在真值表检验中，目的是要给给定论证建立一个（）。

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

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