What distinguishes lacking proof from denying a proposition?

Qiyās al-Khalf: Compound Reductio, Impossibility and Proof of the Claim

• Both are the same contradictory
• The first reports uncertainty, the second negates the proposition
• The first is always reductio
• The second cannot be quantified