Instituto Federal de Educacao, Ciencia e Tecnologia - IFPI

Licenciatura Plena em Matematica - Campus Sao Raimundo Nonato

Disciplina: INTRODUC A
AO ` LOGICA

MATEMATICA DATA: / /2016
Professor: Francisco Esteves
Aluno(a):

1a Avaliaao - 2a Chamada
c
(TEXTO PARA AS QUESTOES 1 E 2)
Sejam as seguintes proposicoes:
p: Maria mora em Sao Raimundo Nonato
q: Jose tem 20 anos
r: Nao esta fazendo frio
1. Traduza pra linguagem corrente as seguintes proposicoes:

(a) p q
(b) (p r)
(c) p q r
(d) r q p q

2. Traduza para linguagem simbolica as seguintes proposicoes:

(a) Maria mora em Sao Raimundo Nonato se somente se Jose tem 20 anos ou esta
fazendo frio
(b) Nao e verdade que se esta fazendo frio, entao Jose nao tem 20 anos.
(c) Jose tem 20 anos ou Maria nao mora em Sao Raimundo Nonato, mas esta fazendo
frio se somente se Jose nao tem 20 anos.
(d) Se nao esta fazendo frio, entao Maria nao mora em Sao Raimundo Nonato e Jose
nao tem 20 anos.

3. Calcule o valor logico das seguintes proposicoes:

umero primo se somente se 1024 = 32
(a) 12 e um n

(b) Se 301 > 17, entao 32 + 53 = 58
(c) sen() = sen( ) ou tg( 6 ) = 1
(d) 1 + 4 + 7 + . . . + 46 = 376 e
= 3, 14

4. Calcule P (V F V ) em cada uma dos seguintes casos.

(a) P (p, q, r) = p (q r)
(b) P (p, q, r) = (p q r) q r
(c) P (p, q, r) = (p (q r)) ( p r q)

5. Construa a tabela-verdade das seguintes proposicoes:

(a) (p q) ( p r)
(b) p r q r
(c) (p q r) ( p q r)