三段論法
第四格のIAI、すなわち「PiM MaS SiP」の三段論法は、以下のようになる。
大前提:「あるP」は、Mである。(PiM)
小前提:「全てのM」は、Sである。(MaS)
結論:ゆえに(∴)、「あるS」は、Pである。(SiP)
具体例。(M=ウサギ、S=有毛生物、P=ペット)
大前提:「あるペット」は、「ウサギ」である。(PiM)
小前提:「全てのウサギ」は、「有毛生物」である。(MaS)
結論:ゆえに(∴)、「ある有毛生物」は、「ペット」である。(SiP)