命题演算的完备性名词解释：命题演算公理系统的一个重要性质.古典命题演算公理系统均具有相对(语义)的和绝对(语法)的完备性.按照克里普克(Kripke,S.A.)对直觉主义逻辑的公理系统的语义解释,直觉主义命题演算公理系统具有相对(语义)的完备性.但由于直觉主义命题演算公理系统是古典命题演算公理系统的真子系统,所以它不可能具有绝对(语法)的完备性.
