n．命题，主题；提议

0211如果世界没有实体，那么一个命题有无意义就要取决于另一个命题是不是真的了。

综合命题由和或其符号所连接的子句组成的复合命题，只有当所有子句为真时，该句才为真

摘要该文将命题逻辑的定理证明转换为多项式方程的求解问题，从而提出了一种基于非子句的代数化方法。

逆命题通过换位得到的命题

你对我们建议的付款方式有什么意见？

proposition

Value Proposition

proposition variable【数】;propositional variable【数】

atomic proposition

compound proposition

logic proposition【计】

true proposition

proposition