Lgica: 2 LISTA DE EXERCCIOS COM RESPOSTAS

Lgica aristotlica tradicional

I.

Para cada uma das seguintes formas lgicas, apresente uma proposio categrica que exiba essa forma e mostre a
sua representao por meio dos diagramas de Venn:
1. Algum S no P.

a.
2. Algum S P.

a.
3. Todos os S so P.

a.
4. Nenhum S P.

a.
II. Para cada uma das proposies abaixo: 1) Classifique-as, informando qual seu tipo de proposio categrica; 2)
reescreva-as na expresso cannica, caso ainda no estejam; 3) assinale o termo sujeito e o predicado de cada uma:
1. Tudo o que fruto do livre-arbtrio humano foi criado por Deus.
i. A: Universal afirmativa
ii. Expresso cannica: Todo fruto do livre-arbtrio humano criado por Deus.
iii. Termo sujeito: fruto do livre-arbtrio humano
iv. Termo predicado: criado por Deus
2. Nenhum mal fruto do livre-arbtrio humano.
i. E: Universal negativa
ii. Expresso cannica: idem
iii. Termo sujeito: mal
iv. Termo predicado: fruto do livre-arbtrio humano
3. Algumas proposies so particulares afirmativas.
i. I: Particular afirmativa
ii. Expresso cannica: idem
iii. Termo sujeito: proposies
iv. Termo predicado: particular afirmativa
4. Algumas proposies no so particulares afirmativas.
i. O: Particular negativa
ii. Expresso cannica: idem
iii. Termo sujeito: proposies
iv. Termo predicado: particular afirmativa
5. Nem tudo o que brilha ouro.
i. O: Particular negativa

6.

7.

8.

9.

10.

ii. Expresso cannica: Algumas coisas que brilham no so ouro.

iii. Termo sujeito: coisas que brilham
iv. Termo predicado: ouro
H animais peludos que no mordem.
i. O: Particular negativa
ii. Expresso cannica: Alguns animais peludos no mordem.
iii. Termo sujeito: animais peludos
iv. Termo predicado: mordem.
H atos de liberdade vis.
i. I: Particular afirmativa
ii. Expresso cannica: Alguns atos de liberdade so vis.
iii. Termo sujeito: atos de liberdade
iv. Termo predicado: vis
Se um deus for desumano, no divino.
i. E: Universal negativa
ii. Expresso cannica: Nenhum deus desumano.
iii. Termo sujeito: deus
iv. Termo predicado: desumano
S h aes ticas no egostas.
i. E: Universal negativa
ii. Expresso cannica: Nenhuma ao tica egosta.
iii. Termo sujeito: ao tica
iv. Termo predicado: egosta
As baleias so animais mamferos.
i. A: Universal afirmativa
ii. Expresso cannica: Toda baleia um animal mamfero.
iii. Termo sujeito: baleia
iv. Termo predicado: animal mamfero

III. Formule a negao das sentenas abaixo: (use as expresses cannicas - no vale colocar no o caso que no
incio das sentenas!!! OBS: a consulta ao quadrado de oposies pode auxiliar nessa tarefa)
1. Nenhum filsofo grego.
i. Algum filsofo grego.
2. Alguns filsofos no so holandeses.
i. Todo filsofo holands.
3. Todo brasileiro fantico por futebol.
i. Algum brasileiro no fantico por futebol.
4. Existem mamferos aquticos.
i. Nenhum mamfero aqutico.
5. Existe pelo menos uma bicicleta de trs rodas.
i. Nenhuma bicicleta de trs rodas.
6. Filsofos so bons matemticos.
i. Algum filsofo mau matemtico.
7. Somente os bons matemticos so filsofos.
i. Algum filsofo mau matemtico.
8. Toda forma de racismo moralmente condenvel.
i. Alguma forma de racismo no moralmente condenvel.
9. Algumas guerras so justas.
i. Nenhuma guerra justa.
10. Nenhuma revoluo pode ser justificada.
i. Alguma revoluo pode ser justificada.
11. Algumas aes socialmente aprovadas no so moralmente corretas.
i. Toda ao socialmente aprovada moralmente correta.
12. Nenhum aborto moralmente justificvel.
i. Algum aborto moralmente justificvel.
13. Alguns abortos no so moralmente justificveis.
i. Todo aborto moralmente justificvel.
14. Nada decidido em assemblia pode ser revogado.

i. Algo decidido em assemblia pode ser revogado.

IV. Formule, intuitivamente, silogismos vlidos que tenham premissas com as seguintes formas:
Exemplo:

1.
2.

Todos os B so A.
Alguns B no so C.
Logo, alguns A no so C.

Todos os B so A.
Alguns C no so B.
No possvel concluir nada.
Alguns A so B.
Todos os B so C.
Logo, alguns A so C.

V. Para cada um dos silogismos abaixo: 1) colocar em sua forma tpica, indicando seu termos mdio, maior e menor e
indicando qual a premissa maior e menor; 2) represent-los por meio de diagramas de Venn; 3) dizer se so vlidos
ou no:
1. Todos os barcos que andam debaixo dgua so submarinos. Portanto, nenhum submarino barco de
recreio, visto que os barcos de recreio no andam debaixo dgua.
i. Termo mdio: anda debaixo dgua.
ii. Termo Maior: barco de recreio
iii. Termo menor: submarino
iv. Tipo de silogismo: E A E
1. Problema: submarino aparece na premissa com extenso particular e na concluso de
forma universal (desrespeita a regra 2, que dita que os termos maior e menor nunca devem
ter maior extenso na concluso do que nas premissas).

v.
2. Alguns reformadores so fanticos, assim como alguns idealistas so fanticos, visto que todos os
reformadores so idealistas.
i. Termo mdio: reformadores
ii. Termo Maior: fanticos
iii. Termo menor: idealistas
iv. Tipo de silogismo: I A I

v.