相干原理

（relevance principle）相干与衍推命题逻辑系统的一个元定理。可表述为：若蕴涵式A→B是系统的定理，则A与B必存在共同的命题变项。即A与B有共同的命题变项是A→ B为定理的必要条件。这一原理揭示了相干蕴涵与衍推的一个基本逻辑特征，正是由于这一特征的存在，才使蕴涵怪论得以避免。