論理的に表現するために、三段論法という論理の型が役に立つ