可驳公式是一种基本公式，指不恒真的公式。与之相对应的是普遍有效公式，亦称永真公式或恒真公式。