公理図式:P→(Q→P)(P→(Q→R))→((P→Q)→(P→R))((P→Q)→P)→PfromPandP→QinferQ(ここでP,Q,Rは結合子として"→"のみを含む)からは結合子として"→"のみを使った全てのトートロジーを導出できる。
可以从公理模式:P→(H→P)(H→(P→Q))→((H→P)→(H→Q))((P→Q)→P)→P从P和P→Q推出Q(这里的P,Q,R只包含“→”作为连结词)演绎出的句子是只使用“→”作为连结词的所有重言式。