命题变量

proposition

Value Proposition

proposition variable【数】;propositional variable【数】

atomic proposition

compound proposition

proposition

logic proposition【计】

true proposition