一千萬個為什麽

搜索

為什麽有效論證的句子必須是重言式的?

我正在考慮明顯的線條,例如當發現同義反復時,形式必須是有效的,但我確信有一個更深入的解釋,我無法達到。

最佳答案

There's nothing deeper going on here. An argument, "P proves Q" is valid iff it is true for all assignments P,Q iff P-> Q is a logical truth, also known as a tautology

這確實調用了健全性/完整性。

轉載註明原文: 為什麽有效論證的句子必須是重言式的?