Avaliao:

(
(

) Parcial
) 2 chamada

( X ) Avaliao Global
( ) Exame Final

Disciplina: Lgica Matemtica

Aluno (a):
Assinatura:
Professor: Guilherme Augusto Pianezzer
Curso:
Perodo:

Data: 12/04

Nota:

Instrues
1.
2.
3.
4.

A interpretao das questes parte do processo de avaliao.

As respostas e o desenvolvimento devem ser bem argumentados.
A durao da prova de 3 horas.
As questes no precisam ser respondidas na ordem.

Questes
Texto para questo 1, 2, 3 e 4. Definio: Dada uma proposio da forma , a
proposio chamada de recproca e a proposio ~ ~, de contra positiva da
proposio dada. Para cada questo a seguir, escreva a recproca e a contra positiva de cada
uma das proposies dadas.

Questo 1. (2 pontos) Se a lua est cheia, os vampiros saem de casa noite.

Questo 2. (2 pontos) Se uma girafa tem dor de garganta, ela no faz gargarejo.

Questo 3. (2 pontos) Vou morar na lua, se l construrem uma estao espacial.

Questo 4. (2 pontos) Se uma proposio uma definio, ento sua recproca verdadeira.

Texto para questo 5 e 6. Considerando e proposies verdadeiras, e e proposies

falsas, determine, passo a passo, o valor lgico das proposies solicitadas.

Questo 5. (5 pontos) ((~ ~) ( )) ( ~)

Questo 6. (5 pontos) (( ) ( ~) (~ ) (~( ))) ( )

Questo 7. Defina (1 pontos) tautologia, (1 pontos) contradio e (1 ponto) contingncia.

Texto para questo 8, 9, 10 e 11 Entre as proposies dadas, mostre quais so tautologias,

quais so contradies e quais so contingncias.

Questo 8. (5 pontos) ( ) (~ ~)

Questo 9. (5 pontos) ~( ~)

Questo 10. (5 pontos) ( )

Questo 11. (5 pontos) ( ) (( ) ( ~) ( ~ ))

Questo 12. (4 pontos) Discuta o que so falcias e como elas esto relacionadas com a
lgica matemtica. Explique porque h a necessidade de determinar regras de inferncia na
lgica formal.

Questo 13. (10 pontos) Relacione as seguintes falcias com o tipo a qual se adequa:
(1) 4 vezes 4, mais 4, igual a 20. 4 vezes, 4 mais 4, igual a 32. Logo, 32 igual a 20.

( ) Acidente
( ) Acidente Convertido

(2) Os Romanos conquistaram um Imprio. Catilina era romano. Logo, Catilina

( ) Anfibologia

conquistou um Imprio.

( ) Argumentum ad Baculum

(3) Os meus professores dizem que a lgica matemtica importante para mim. Logo,

( ) Argumentum ad

lgica matemtica deve ser importante para mim.

Hominem (circunstancial)

(4) As pessoas de bom gosto, tais como os professores do curso, usam o perfume X.

( ) Argumentum ad

Logo, deve usar o perfume X, porque o melhor.

Hominem (ofensivo)

(5) Se no obter mdia na disciplina, corto-te sua mesada, meu filho. Logo, tem que

( ) Argumentum ad

obter mdia na disciplina.

Ignorantiam

(6) -Est multado. -Senhor Guarda, este menino o meu beb. Ele estava a chorar e,

( ) Argumentum ad

para o calar, fui na loja rapidinho comprar um chocolate para o acalmar. Por isso, o

Misericordiam

senhor deveria eliminar a multa que me passou.

( ) Argumentum ad
Populum

(7) Ningum ainda provou que fantasmas existem. Logo, fantasmas no existem.

( ) Argumentum ad
Verecundiam

(8) O nudismo imoral, porque uma ofensa evidente moral pblica.

( ) Composio

(9) Chama-se gigante a um homem de estatura elevada. Eu conheo um homem baixo

( ) Diviso

que se chama Gigante. Logo, eu conheo um homem baixo de estatura elevada.

( ) nfase
( ) Equvoco

(10) Apareceram-me muitas espinhas na cara, depois de comer chocolate. Logo, a

( ) Falsa Causa

causa das espinhas o chocolate.

( ) Petitio Principii

(11) Comer hoje o que comprou ontem. Ontem comprou carne crua. Logo, hoje
comer carne crua.

pgina5

Questo 14. Defina (3 pontos) argumento vlido e (2 pontos) argumento correto.

Questo 15. (10 pontos) Discuta os seguintes argumentos a partir dos seguintes critrios: (1) Validade. (2) Solidez.
P1: Todos os animais podem voar.
P2: Porcos so animais.
: Logo, porcos podem voar.

P1: Cumprir todos os requisitos do curso, me garante um

diploma.
P2: Cumpri todos os requisitos do curso.
: Logo, terei um diploma.

P1: Se Joo pai do Paulo, ento Paulo filho do Joo.

P2: O Paulo filho do Joo.
: Logo, o Joo pai do Paulo.

Centro Universitrio Campos de Andrade R. Joo Scuissiato n1 - CEP: 80.310-310Curitiba-Paran-Brasil

Fone: (41) 3219-4290

pgina6

Texto para a questo 16, 17 e 18. Usar as regras de inferncia para mostrar a validade dos seguintes argumentos.
Apresente as tabelas de resoluo formalmente.

Questo 16 (10 pontos) , ~, ~~, ( )

1.

10.

2.

11.

3.

12.

4.

13.

5.

14.

6.

15.

7.

16.

8.

17.

9.

18.

Questo 17. (10 pontos) ~ ~, ~ ~, ~ , ~ ~ ~

1.

10.

2.

11.

3.

12.

4.

13.

5.

14.

6.

15.

7.

16.

8.

17.

9.

18.

Questo 18. (10 pontos) ~ , , , ~

1.

10.

2.

11.

3.

12.

4.

13.

5.

14.

6.

15.

7.

16.

8.

17.

9.

18.

Centro Universitrio Campos de Andrade R. Joo Scuissiato n1 - CEP: 80.310-310Curitiba-Paran-Brasil

Fone: (41) 3219-4290