Celarent

Em lógica, modo da primeira figura. Nenhum M é P; todo S é M; logo, nenhum S é P.