基于实例的定理证明

（计算机科学技术）

基于实例的定理证明（instance-based theorem proving），计算机科学技术名词，一阶逻辑的一类定理证明方法。通过生成实例、在命题逻辑中检查不可满足性来证明一阶逻辑问题的不可满足性，从而证明一阶逻辑表述的相应定理。