逻辑学学习.8 --- 三段论逻辑（二）：用文恩图检验三段论的有效性