直言判断的分类，并举例子，用符号表示。