Logica Lista de exercicios

Lista de Exercícios – NP2

Lógica

Atenção: os exercícios 4, 8 e 9c devem ser feitos e entregues até o dia da prova!

Lembrando que a prova valerá 7.0 (+0.5 extra) e estes exercícios 3.0, portanto, não

deixem de entregar!!! O exercício 10 desta lista engloba quantificadores e fica como

extra para quem deseja ganhar meio ponto a mais. As respostas estão no final do arquivo.

1) Os itens abaixo representam argumentos lógicos. Dentre eles, identifique quais

são os argumentos válidos notáveis (regras de inferência) e quais são as falácias.

a. A, B |— A.B

b. Se Maria lê muito, então é inteligente. Maria lê muito. Portanto, é

inteligente.

c. A.B, A |— B

d. Se Maria mora em Londres, então vive na Inglaterra. Maria não mora em

Londres. Portanto, não vive na Inglaterra.

e. A.B, B’ |— A’

f. A + B, A |— B

g. A + B, A’ |— B

h. Rafael cortou a barba e o cabelo. Portanto, Rafael não cortou o cabelo.

i. Rafael cortou a barba e o cabelo. Portanto, Rafael cortou a barba.



j. Se João lavou a louça, então a pia ficou limpa. Se a pia ficou limpa, então

Marta ficou feliz. Portanto, se João lavou a louça, então Marta ficou feliz.

2) Identifique a regra de inferência que justifica a validade de cada um dos seguintes

argumentos lógicos:

a. p.r, q.s, p+q |— r+s

b. (p.q).r, q.(r.s), r’+ (r.s)’ |— (p.q)’ + q’

c. r.s |— r.(r.s)

d. (a.b) |— (a.b) + s’

e. (a + b).c |— c

f. f.(g.h), f |— g.h

g. f.(g.h), (g.h)’ |— f’

3) Utilizando a demonstração formal, provar a dadas as premissas:

a’.b

b.c

c’



4) Utilizando a demonstração formal, provar t dadas as premissas:

p.(q+t)

p

q’

5) Utilizando a demonstração formal, provar b dadas as premissas:

(a+b)’.c

a'

c’