什么是证实与证伪：证实与证伪的关系、区别

论证是对一个命题的真实性或虚假性进行判定，因此根据论证目的的不同，论证可以被区分为证实与证伪两种类型。

所谓证实（verification），亦称证明（proof），就是借助真实性已经得到断定或至少被论证所涉各方共同接受的命题来确定另一命题的真实性。所谓证伪（falsification），也叫否证，就是借助真实性已经得到断定或至少被论证所涉各方共同接受的命题来确定另一命题的虚假性。

就证实与证伪的关系来说，对命题p的证实实际上就是对p的负命题¬p的证伪；

反之，对p的证伪，也就是对p的负命题¬p的证实。

例如，当我们以“水银是金属”和“水银不是固体”作为论据来证明“有些金属不是固体”时，实际上也就证伪了该命题的负命题，即“所有金属是固体”。