單項選擇題

在真值表檢驗中，目的是要給給定論證建立一個（）。

A、有效性
B、論證者
C、真值表
D、間接證明

你可能感興趣的試題

單項選擇題

根據(jù)形式演繹方法，如果結(jié)論能夠被通過使用（）從給定前提中一步一步地演繹出來，那么這個論證被表明是有效的。

A、有效論證
B、邏輯等值
C、重言式原則
D、以上都對

單項選擇題

（）是指一個論證有效性的形式證明。

A.文恩圖檢驗
B.形式演繹
C.三段論
D.邏輯驗算