>>55
上は三段論法の第2格、下は三段論法の第3格やね
第2格は否定命題の結論が真にならない、第3格は特称命題の結論しか真にならない
これ常識なんよ