定言
ていげん categorical statement