Implication tautology is not reasoning form.

• 蕴涵重言式不是推理式。