In logic, demonstration is an inference which seeks to show that its conclusion must be true.

• 在逻辑学中，论证是寻求表明结论必须是真实的一种推理。