我正在考慮明顯的線條，例如當發現同義反復時，形式必須是有效的，但我確信有一個更深入的解釋，我無法達到。
為什麽有效論證的句子必須是重言式的？
最佳答案
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
這確實調用了健全性/完整性。