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