パースの法則
パースの法則の重要性のひとつとして、含意のみを用いる論理において排中律の置き換えとして使用できることが挙げられる。公理図式:
P→(Q→P)
(P→(Q→R))→((P→Q)→(P→R))
((P→Q)→P)→P
from P and P→Q infer Q
(ここで P, Q, R は結合子として"→"のみを含む)からは結合子として"→"のみを使った全てのトートロジーを導出できる。