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

é carneiro. Todos clientes são carneiros. Logo todos clientes são frutos.

1 Resposta

  • Clara

    ⠀⠀☞ 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:

    setlength{unitlength}{0.95cm}egin{picture}(6,5)	hicklinesezier(-3,0)(-2.77,1.77)(-1,2)ezier(1,0)(0.77,1.77)(-1,2)ezier(-3,0)(-2.77,-1.77)(-1,-2)ezier(1,0)(0.77,-1.77)(-1,-2)ezier(2,0)(2.07,1.77)(4,2)ezier(6,0)(5.77,1.77)(4,2)ezier(2,0)(2.07,-1.77)(4,-2)ezier(6,0)(5.77,-1.77)(4,-2)put(-2.4,1.1){LARGE$sf P_1$}put(0,0){circle{2}}put(2.4,1.1){LARGE$sf Q_1$}put(-0.4,0.1){LARGE$sf R_1$}put(-4,-3){line(1,0){11}}put(-4,3){line(1,0){11}}put(7,-3){line(0,1){6}}put(-4,-3){line(0,1){6}}end{picture}

    footnotesize	ext{$sf (Esta~imagem~n	ilde{a}o~acute{e}~visualizacute{a}vel~pelo~App} ☹ )

    ⠀⠀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:

    setlength{unitlength}{0.95cm}egin{picture}(6,5)	hicklinesezier(-3,0)(-2.77,1.77)(-1,2)ezier(1,0)(0.77,1.77)(-1,2)ezier(-3,0)(-2.77,-1.77)(-1,-2)ezier(1,0)(0.77,-1.77)(-1,-2)ezier(2,0)(2.07,1.77)(4,2)ezier(6,0)(5.77,1.77)(4,2)ezier(2,0)(2.07,-1.77)(4,-2)ezier(6,0)(5.77,-1.77)(4,-2)put(-2.4,1.1){LARGE$sf P_2$}put(3,0){circle{2}}put(2.4,1.1){LARGE$sf Q_2$}put(2.6,0.1){LARGE$sf R_2$}put(-4,-3){line(1,0){11}}put(-4,3){line(1,0){11}}put(7,-3){line(0,1){6}}put(-4,-3){line(0,1){6}}end{picture}

    footnotesize	ext{$sf (Esta~imagem~n	ilde{a}o~acute{e}~visualizacute{a}vel~pelo~App} ☹ )  

    flarge
ed{underline{quadquadqquadqquadqquadqquadqquadqquadqquad}}

    ⠀⠀☀️ Leia mais sobre silogismos:

    flarge
ed{underline{quadqquadqquadqquadqquadqquadqquadqquadquad}}

    flarge
ed{underline{quadquadqquadqquadqquadqquadqquadqquadqquad}}

    ⠀⠀⠀⠀☕ Largelue{	ext{f Bons~estudos.}}

    (orange{Dacute{u}vidas nos comentacute{a}rios}) ☄

    flarge
ed{underline{qquad qquad qquad qquad qquad qquad quad }}LaTeX

    ❄☃ sf(purple{+}~
ed{cores}~lue{com}~pink{o}~orange{App}~green) ☘☀

    gray{


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

Clique aqui para adicionar a sua resposta.