命题证明系统

简介在命题微积分和证明复杂性中，命题证明系统（pps），也称为Cook-Reckhow命题证明系统，是一个用于证明经典命题同义词的系统。数学定义形式上，一个pps是...