Professional Documents
Culture Documents
2. Seja p Ele alto e seja q Ele elegante. Escreva cada uma das seguintes proposies de forma
simblica:
a) Ele alto e elegante
b) Ele alto mas no elegante
c) falso que ele baixo ou elegante
d) Ele no nem alto nem elegante
e) Ele alto, ou ele baixo e elegante
f) No verdade que ele baixo ou no elegante.
3. Seja P Est frio e seja Q Est chovendo. Escreva uma sentena verbal para as proposies:
a) ~P
b) P Q
c) P Q
d) P Q
e) P ~Q
f) Q ~P
g) ~P ~Q
h) P ~Q
i) ~~Q
j) (P ~Q) P
4. Encontre o antecedente e o conseqente de cada uma das proposies a seguir.
a. O crescimento sadio das plantas conseqncia da quantidade suficiente de gua.
b. O aumento da disponibilidade de informao uma condio necessria para um maior desenvolvimento
tecnolgico.
c. Sero introduzidos erros apenas se forem feitas modificaes no programa.
d. A economia de energia para aquecimento implica boa insulao ou vedao de todas as janelas.
5. Escreva a negao de cada fbf (frmula bem formada) a seguir.
a. Se a comida boa, ento o servio excelente.
b. Ou a comida boa, ou o servio excelente.
c. O processador rpido mas a impressora lenta.
c. A ~(~A ~B)
d. A B ~A
e. (A B) [(A C) (B C)]
8. Usando o mtodo da rvore semntica ou o da negao ou absurdo, refaa o exerccio anterior.
9. Usando o mtodo da rvore semntica ou da negao ou absurdo, verifique se as frmulas abaixo so
vlidas. Caso alguma no seja, identifique uma interpretao I, para a qual a frmula no vlida.
F = (~P Q) ((~Q P) (P Q))
G = (((P S) P) (P P1)) ((((P Q) P) ((P R) R)) P)
H = ~((P Q) R S) (P1 Q1)
10. Seja I uma interpretao tal que I[P Q] = V. O que se pode deduzir a respeito dos resultados das
interpretaes a seguir?
a) I[~P Q]
b) I[P ~Q]
c) I[Q P]
d) I[(P R) (Q R)]
22. Prove por induo matemtica, que as proposies a seguir so verdadeiras para todo inteiro n
positivo:
a)
b) 1 + 5 + 9 + ... + (4n 3) = n(2n 1)
1 + 3 + 6 + ... +
f)
Prove que a soma dos n primeiros termos de uma progresso geomtrica, de termo inicial
a ar n
a e razo r : a + ar + ... + ar =
1 r
1
1
1
1
1
n
+
+
+
+ ... +
=
g)
1 2 2 3 3 4 4 5
n(n + 1) n + 1
n 1
h) 5 + 10 + 15 + ... + 5n =
5n(n + 1)
2
i) 1 2 + 3 4 + ... + ( 1)
2
j)
n 1
n 2 > n + 1 , para n 2
m)
2 3n 1 divisvel por 7
n)
7 n 2 n divisvel por 5
13n 6 n divisvel por 7
o)
p)
q)
r)
25. Desenvolva um algoritmo recorrente para somar os valores inteiros armazenados em um vetor.
Pede-se encontrar e resolver uma relao de recorrncia para o n-simo nmero triangular.
28. Os primeiros nmeros pentagonais so: 1, 5, 12, 22. Encontre e resolva uma relao de recorrncia
para o n-simo nmero pentagonal.
29. Escreva o corpo de uma funo recorrente para calcular S(n), onde S a seqncia dada:
t) 1, 2, 4, 7, 11, 16, 22, ...
u) 2, 4, 16, 256, ...
v) 2, 1, 1/2, 1/4, 1/8, ...
w) 1, 3, 9, 27, 81, ...
x) p, p q, p + q, p 2q, p + 2q, p 3q, ...
30. Uma colnia de morcegos contada a cada dois meses. As quatro primeiras contagens foram de
1200, 1800, 2700 e 4050. Se essa taxa de crescimento continuar, qual ser a 12a contagem?
Obs.: Encontre e resolva uma relao de recorrncia para responder questo.
31. Para cada uma das relaes R abaixo, definidas no conjunto R (dos reais) desenha uma figura para
mostrar a rea do plano que representa a mesma.
a) xRy x2 + y2 25
b) xRy x = y 1
c) xRy x y
d) xRy -2 y 2
e) xRy y < 2x
32. Para cada uma das figuras abaixo, escrever a relao que descreve a rea sombreada:
a)
b)