Nenhum bode é substantivo. Todos filmes são bodes. Logo todos...

⠀

⠀⠀☞ Ambas as inferências lógicas são inválidas, como pudemos ver pela análise das premissas e pelos diagramas de Venn.  ✅

⠀

⠀

⠀⠀ Vamos inicialmente simplificar nossos cálculos lógicos representando cada conjunto por letras:

⠀

⠀⠀⇒ P₁: "bode";⠀⠀⠀⇒ Q₁: "substantivo";⠀⠀⇒ R₁: "filme";⠀⠀⠀⇒ P₂: "fruto";⠀⠀⇒ Q₂: "carneiro";⠀⠀⇒ R₂: "cliente";

⠀

⠀⠀Desta forma temos que o primeiro silogismo ficará:

⠀

⠀⠀I) Nenhum P₁ é Q₁ (P₁ ∩ Q₁ = ∅);⠀⠀II) Todos os R₁ são P₁ (R₁ ⊂ P₁);⠀⠀∴ Todos os R₁ são Q₁ ?

⠀

⠀⠀❌ Falso. Nenhum R₁ é Q₁ pois de II) sabemos que todos os R₁ estão contidos dentro do conjunto P₁ e de I) não existe nenhum elemento em comum entre P₁ e Q₁. Vamos visualizar isto através de um diagrama de Venn:

⠀

⠀

⠀

☹ )

⠀

⠀

⠀⠀Já o segundo silogismo ficará:

⠀

⠀⠀I) Nenhum P₂ é Q₂ (P₂ ∩ Q₂ = ∅);⠀⠀II) Todos os R₂ são Q₂ (R₂ ⊂ Q₂);⠀⠀∴ Todos os R₂ são P₂ ?

⠀

⠀⠀❌ Falso. Nenhum R₂ é P₂ pois de II) sabemos que todos os R₂ estão contidos dentro do conjunto Q₂ e de I) não existe nenhum elemento em comum entre P₂ e Q₂. Vamos visualizar isto através de um diagrama de Venn:

⠀

⠀

⠀

☹ )  

⠀

⠀

⠀

⠀

⠀⠀☀️ Leia mais sobre silogismos:

⠀

✈

✈

✍

⠀

⠀

⠀

⠀

☁

⠀⠀⠀⠀☕

⠀

() ☄

✍

❄☃ ☘☀

⠀

⠀

⠀

⠀

​