干涉规则命题逻辑简称.CP。如果您以含义(逻辑运算符，不是暗示规则)，您可以假设在先的，并使用它尝试推断随之而来的例如：
N> O（运行）
N> P（P）
因此N> （O*P）
假设N（这被称为接受条件证明（ACP））
使用Modus Ponens公司从前两者导出O和P声明。将它们与结合你现在已经表明，如果你有N，你就有O*P。
N> （O*P）
另请参见：一切逻辑符号,析取三段论,双重否定,同义反复,德摩根规则,Modus Ponens公司,假设三段论,建设性困境,汇合点,交换性,
这就是全部。。。
1.F>E
2.（F*E）>R//F>R
| 3. F空调
| 4. 电子MP公司1,3
| 5. F*E公司康吉牌手表3,4
|6。R MP 2,5型
7.F>R CP 3-6。