形式邏輯的基本規則之一。提出或證明一個命題，都必須有能夠表明它何以真實的理由。證明要求論據必須真實，并且從論據可以推出論題，這就是{1}的具體運用。