a relation between logical propositions.

• 两个逻辑命题之间的关系。