证伪是卡尔·波普尔在其著作《猜想与反驳》提出科学和非科学划分的证伪原则。科学和非科学的划分在波普尔这里得到了明确界定而且是一反常识的。非科学的本质不在于他的正确与否，而是在于它的不可证伪性。
于是数学和逻辑学便被划分为非科学的。同样，心理分析学说，占星说，骨相学，马克思之后的"马克思主义"也都是非科学的。它们都不可被证伪。数学和逻辑学之所以被划分到了非科学的原因在于他们并不需要经验去检验它们，他们被休谟称为必然真理。而科学和非科学一样，都既包含着真理，又包含着谬误。
与证实的关系与区别：
1、证伪主义是和证实相对的，证实是建立在归纳主义的基础上的，是通过大量的事实来归纳证明一个理论的正确性。
2、而证伪主义是建立在演绎逻辑的基础上的，波普尔的证伪主义中强调的是对严格的全称陈述理论的证伪。
3、证实是证明这件事是事实 。
4、证伪的意思是任何科学理论都有一定局限性，超出某个范围就必须建立新的理论，原有的理论就被“证伪”了，但原有的理论还是真理，只不过是在原来的条件范围内有效，而不是“伪科学”
参考资料：百度百科 证伪