绘图题：用凡恩图判定下列三段论式是否有效。1．第一格EAE式2．第二格AEE式3．第三格AOO式4．第四格EIO式

正确答案: 第一格EAE式，即MEP∧SAM├SEP。第二格AEE式，即PAM∧SEM├SEP。它们的凡恩图如下所示：
可见，三段论的第一格EAE式和第二格AEE式都是有效的。
第三格AOO式，即MAP∧MOS├SOP。第四格EIO式，即PEM∧MIS├SOP。它们的凡恩图如下所示：
显然可见，三段论的第三格AOO式是无效的，第四格EIO式是有效的。