( )指的是A、E、I、O四种判断在两个前提和结论中的各种不同组合所构成的三段论形式。