直言命题

categorical proposition