Os silogismos são formas lógicas compostas por premissas e uma conclusão que se segue delas. Um exemplo de silogismo válido é:

Curitiba é capital de Estado. São Paulo é capital de Estado. Belém é capital de Estado.

Alguns gatos não têm pelo. Todos os gatos são mamíferos. Alguns mamíferos não têm pelo.

Todas as aves têm pernas. Os mamíferos têm pernas. Logo, todas as mesas têm pernas.

Antes de ontem choveu. Ontem também choveu. Logo, amanhã certamente choverá.

Todas as plantas são verdes. Todas as árvores são plantas. Todas as árvores são mortais