命题多项式与命题函数的解析化

摘要

本文提出了命题多项式，０－１命题多项式的概念，应用它们，实现了命题函数的解析化。