中置法

把二元运算符号或二元联结词写在运算项或变项之中的表示方法。如“p→（p ∨q）”这一公式运用的就是中置法。数学、逻辑中一般都采用本表示法。