Raciocínio Lógico — diagrams de venn (quantificadores universais)

O silogismo é uma forma de raciocínio dedutivo. Na sua forma padronizada, é constituído por três proposições: as duas primeiras denominam-se premissas e a terceira, conclusão. As premissas são juízos que precedem a conclusão. Em um silogismo, a conclusão é conseqüência necessária das premissas.

São dados 3 conjuntos formados por 2 premissas verdadeiras e 1 conclusão não necessariamente verdadeira.

São silogismos: