1 categorical syllogism: 범주삼단논법