总结

□直言判断有四种标准形式A、E、I和O。

□可用文恩图画出四种标准形式直言判断的图。

□可以把日常语言的表达转换成标准的直言判断。

□对当方阵图表达了相对应的直言判断之间的逻辑关系：矛盾关系、反对关系和下反对关系。

□直言判断间可以进行三种运算：换位、换质和换质位，其中一些和原判断等值，另一些不是。

□直言三段论是否有效可以通过文恩图检验，也可以通过规则来检验三段论的有效性。