种逻辑常用哪几个元音字母表达六种不同的直言命题