12.3段論法(型)