演繹
演繹(ディダクション)
「AならばBである」という法則から、「仮定AならばBである」という結論を導く