Considere as seguintes proposições:
P1: “Todos os cavalos são mamíferos”.
P2: “Alguns cavalos saltam”.
Sabendo que ambas são verdadeiras, conclui-se que
“Todos os mamíferos saltam”.
“Todos os cavalos saltam”.
“Alguns mamíferos saltam”.
“Nenhum mamífero salta”.
“Nenhum cavalo salta”.