Lgica: 3 LISTA DE EXERCCIOS COM RESPOSTAS

Clculo proposicional clssico

I. Exerccio de reviso de lgica aristotlica tradicional. Para cada um dos silogismos abaixo: 1)
colocar em sua forma tpica, indicando a premissa menor, maior e a concluso; 2) represent-los
por meio de diagramas de Venn; 3) dizer se so ou no vlidos.
1) Dado que os cristos no so ateus e que todos os ateus so pessoas ms, podemos concluir
que nenhuma pessoa m crist.
Pm: Todo cristo no ateu
PM: Todo ateu mau
C: Todo cristo no mau
Argumento invlido

2) Tem filsofo que burro, mas nenhuma pessoa burra sabe fsica quntica, logo tem filsofo
que no sabe fsica quntica.
Pm: Algum filsofo burro
PM: Todo mundo que sabe fsica quntica no burro
C: Algum filsofo no sabe fsica quntica
Argumento vlido

3) Alguns estudantes de filosofia gostam de lgica, pois tem pessoas que gostam de lgica e
todos os estudantes de filosofia so pessoas.
Pm: Todo estudante de filosofia pessoa
PM: Alguma pessoa gosta de lgica
C: Algum estudante de filosofia gosta de lgica
Argumento invlido

4) Uma vez que nenhuma pessoa inteligente mora em Varginha, e todos os lgicos so
inteligentes, ento nenhum morador de Varginha lgico.
Pm: Todo lgico inteligente
PM: Todo morador de Varginha no inteligente
C: Todo lgico no mora em Varginha
Argumento vlido

5) Existem pescadores que mentem, mas nenhum pescador gosta de nadar, logo alguns
mentirosos no gostam de nadar.
Pm: Algum pescador mente
PM: Todos que gostam de nadar no so pescadores
C: Algum mentiroso no gosta de nadar
Argumento vlido

6) No existe nenhum homem que no seja medroso, pois todos os medrosos so covardes e os
covardes so todos homens.
Pm: Todo covarde homem
PM: Todo medroso covarde
C: Todo homem medroso
Argumento invlido

7) Tem professor de filosofia que no fala grego, pois alguns professores de filosofia no
estudam muito e todo mundo que estuda muito fala grego.
Pm: Algum professor de filosofia no estuda muito
PM: Todos que estudam muito falam grego
C: Algum professor de filosofia no fala grego
Argumento invlido

8) Ora, no h cristo que roube, e quem rouba no vai pro cu, logo todo cristo vai para o
cu.
Pm: Todo cristo no rouba
PM: Todos que roubam no vo pro cu
C: Todo cristo vai pro cu
Argumento invlido

II. Traduza para a linguagem da lgica proposicional:

1) A taxa de juros vai aumentar somente se a economia melhorar e consumidores aumentarem
os emprstimos.
A taxa de juros vai aumentar = A
A economia vai melhorar = B
Os consumidores aumentarem os emprstimos = C
A (B C)

2) A economia no vai melhorar e a taxa de juros no vai aumentar se o gasto dos

consumidores cair ou o desemprego aumentar.
A economia vai melhorar = A
A taxa de juros vai aumentar = B
O gasto dos consumidores vai cair = C
O desemprego vai aumentar = D
(C D) (A B)

3) Se meu peso aumenta se, e somente se, no fao nem dieta, nem exerccios, ento vou para
o trabalho a p ou de bicicleta.
Meu peso aumenta = A
Eu fao dieta = B
Eu fao exerccios = C
Eu vou para o trabalho a p = D
Eu vou para o trabalho de bicicleta = E

(A (B C)) (D E)

III. Supondo que A, B, C e D tm valores V, F, F e V, respectivamente, numa certa valorao v, calcule

o valor em v das frmulas abaixo:

IV. Construa tabelas de verdade para todas as frmulas acima.