パースの法則
パースの法則を使うと演繹定理を使って定理を証明するテクニックを強化することができる。前提 Γ の元で、命題 Z を導出したいとする。パースの法則を使うと、Γ に Z→P の形の前提を追加することが(コスト無しに)できる。例えば、P→Z と (P→Q)→Z から Zを導きたいとする。すなわち、これに演繹定理を使った (P→Z)→(((P→Q)→Z)→Z) を定理として結論したいとする。まず、前提 Z→Q を追加することができる。これと P→Z から、P→Q を得る。次に、(P→Q)→Z を大前提としたモーダスポネンスを使うことで、Z を得る。演繹定理を適用して、元の前提から (Z→Q)→Z が得られたことが分かる。((Z→Q)→Z)→Z の形のパースの法則とモーダスポネンスにより、元の前提から Z が得られる。これが証明したいことであった。
P→Z 1.