Verifique se um dado silogismo é válido ou inválido; para isso selecione as premissas e a conclusão tendo em atenção que M é o termo médio, P é o termo maior, e S é o termo menor.
Premissa Maior: Todo M é P Todo P é M Nenhum M é P Nenhum P é M Algum M é P Algum P é M Algum M não é P Algum P não é M Tipo:(M) (P)
Premissa Menor: Todo S é M Todo M é S Nenhum S é M Nenhum M é S Algum S é M Algum M é S Algum S não é M Algum M não é S Tipo: (S) (M)
Conclusão: Todo S é P Nenhum S é P Algum S é P Algum S não é P Tipo: (S) (P)
Modo-Figura:
Se o silogismo é inválido, é porque: