推論規則

rule of inference

公理から、残りの全てのトートロジーを作り出すための規則