Matematica

UNIFACS- Universidade Salvador
Sistemas de Informação/EaD
Fundamentos de Matemática para Computação
Prof. Benedito Ikeda e Karine Pugas-12
.2

AVALIAÇÃO VIRTUAL I

Observações: • Todas as questões devem conter os devidos cálculos ou justificativas. • Dizer apenas se uma questão é verdadeira ou falsa é insuficiente, queremos inclusive o desenvolvimento. O processo de resolução é tão importante quanto à resposta final.

1. Negue as proposições abaixo de forma mais simples possível a) Marcos gosta de vinho, mas, não gosta de cerveja b) É falso que não está frio ou que está chovendo c) Se as ações caírem o desemprego aumenta d) Não é verdade que Livia estuda Lógica, mas, não estuda Algoritmos e) (2+2=4 e 3>2) ou 0>1

2. a) Admitindo que p e q são falsas e r e s são verdadeiras, determine o valor lógico das proposições: i) (p ^q)→(rvs) ii)(qvs)^(pvr) iii)(r→s) ^(pvq)

iv) [pic] v) ~[(p→r)v(q→ s)

b) Supondo V([pic], determine V(p[pic]

3. Verifique a validade das implicações e equivalências abaixo:
a) (p[pic]
[pic]
c) ) p [pic] q [pic] p [pic] q
d) [pic]

4. Verifique, justificando, se os argumentos são válidos ou não: a) p[pic]q,r[pic]q [pic] r[pic]p b) p[pic]q,r[pic]p, q Ⱶ [pic]r c)Se o Vitória ganha, então, o Bahia perde. Se o Bahia perde, a família não fica feliz. Se a família não fica feliz, então, há choro. Logo, se o Vitória ganha, então, há choro.
5. a) Dadas as sentenças abertas em IR, p(x):3x-4[pic]0 e q(x): x+2>0, determine [pic]. b) Dê o valor lógico das proposições abaixo e em seguida negue-as. i) [pic]
[pic]
[pic] iv[pic]
[pic]
vi[pic]

|[pic] |

6.a) Na figura ao lado, sombreie a região que representa o conjunto (A[pic]C.

b) Sejam A,B e C, conjuntos finitos. O número de elementos de [pic]o número de elementos de [pic] é 30 e