Analise a proposição a seguir: “Se todo carioca é brasileiro e Carolina é carioca”, podemos dizer que:

Podemos concluir que Carolina é brasileira, pois a proposição afirma que todo carioca é brasileiro e Carolina é carioca. Portanto, ela faz parte do conjunto de cariocas, que por sua vez faz parte do conjunto de brasileiros. Essa é uma aplicação do raciocínio lógico de silogismo, em que a partir de duas premissas é possível chegar a uma conclusão.