Lista de Exercícios Matematica Discreta UTFPR
Por: Jeison Jeison • 20/9/2015 • Trabalho acadêmico • 1.313 Palavras (6 Páginas) • 426 Visualizações
[pic 1][pic 2]UNIVERSIDADE TECNOLÓGICA FEDERAL DO PARANÁ
Câmpus Toledo
Acadêmico(a) | RA: | ||
Curso | Engenharia de Computação | Período: 1 | Envio até 20/09/2015 via Moodle |
Disciplina | Matemática Discreta | Nota da Avaliação: | |
Professor | Elder Schemberger (eschemberger@utfpr.edu.br) | ||
Lista de Exercícios - 1 |
- Quais destas frases são proposições? Marque V para verdadeiro e F para falso.
- ( ) A Lua é feita de queijo verde.
- ( ) Ele é, certamente, um homem alto.
- ( ) Dois é um número primo.
- ( ) O jogo vai acabar logo?
- ( ) Um bom livro de matemática.
f ) ( ) x2 - 4 = 0.
- ( ) Um triângulo é retângulo se e somente se tem um ângulo reto.
- ( ) Se um triângulo é retângulo, então, dois de seus lados são perpendiculares.
- ( ) 9 - 12.
- ( ) O gato da menina.
- ( ) O número 3 é maior que o número 5.
- ( ) Os juros vão subir ano que vem.
- Determine o valor lógico de cada uma das proposições a seguir
- ( ) 4 é par ou 3 é ímpar.
- ( ) 4 é par e 3 é ímpar.
- ( ) 4 é ímpar ou 3 é ímpar.
- ( ) 4 é ímpar e 3 é ímpar.
- ( ) Se 4 for ímpar, então 3 é ímpar.
f ) | ( | ) Se 4 for par, então 3 é ímpar. |
g) | ( | ) Se 4 for ímpar, então 6 é par. |
h) | ( | ) Se 4 for ímpar e 3 for par, então 4 < 3. |
i) | ( | ) O número 11 é primo. |
j) | ( | ) Pedro Álvares Cabral descobriu a Colômbia. |
k) | ( | ) A lua é um satélite natural da terra. |
l) | ( | ) Um número divisível por 2 é par. |
3. Determine V(p) em cada um dos casos, sabendo que:
a) | ( | ) V(q) = V e V(p ^ q) = F |
b) | ( | ) V(q) = F e V(p _ q) = F |
Página 1 / 4 |
- ( ) V(q) = F e V(p ! q) = F
- ( ) V(q) = F e V(q ! p) = V
- ( ) V(q) = V e V(p $ q) = F
f ) ( ) V(q) = F e V(q $ p) = V
- ( ) V(q) = V e V(: p ^ q) = F
- ( ) V(q) = F e V(p $ : q) = F
- Encontre o antecedente e o conseqüente de cada uma das proposições a seguir.
- O crescimento sadio de plantas é conseqüência de quantidade suciente de água.
- Serão introduzidos erros apenas se forem feitas as modicações no programa.
- A economia de energia para aquecimento implica boa insulação ou vedação de todas as janelas.
- O aumento da disponibilidade de informação é uma condição necessária para um maior desenvolvimento tecnológico.
- Seja p a proposição Está frio"e q Está chovendo". Traduza para a linguagem corrente as seguintes proposições.
- : p
- p ^ q
- p _ q
- q ! (: q ^ : p)
- p ! : q
f ) q _ : p
- : p ^ : q
- : : q
- q $ : q
- : q _ (p ! : q)
- p $ q
- Seja p a proposição Os preços são altos"e q Os estoques são grandes". Traduza para a linguagem corrente as seguintes proposições.
- (p ^ q) ! p
- p ^ q
- : (q _ : p)
- : p $ q
- p ! _ q
f ) q _ : p
- : p ^ : q
- : (: p _ q)
- q $ : q
- : q _ (p ! : q)
- q ! (: q ^ : p)
Página 2 / 4
- Sejam p, q, r e s as seguintes proposições:
- O bandido é francês.
- O herói é americano.
- A heroína é inglesa.
- O lme é bom.
Escreva em notação simbólica as proposições compostas a seguir.
- O herói é americano e o lme é bom.
- Embora o bandido seja francês, o lme é bom.
- Se o lme é bom então o herói é americano ou a heroína é inglesa.
- O herói não é americano, mas o bandido é francês.
- Uma heroína inglesa é uma condição necessária para o lme ser bom.
f ) A heroína é inglesa se e somente se o bandido é francês ou o lme não é bom.
- Se o lme é bom e a heroína é inglesa, então o herói é americano ou o bandido é francês.
- O bandido é francês ou a heroína é inglesa se e somente se o herói é americano e o lme não
- bom.
- Construa as tabelas-verdade para as fórmulas proposicionais a seguir. Para cada fórmula, informe se a mesma tem caráter de tautologia, contradição ou contingência.
- (p ! q) $ : p _ q
- (p ^ q) _ r ! p ^ (q _ r)
- p ^ (: q _ : r)
- (r ^ : s ^ p _ q) ! (p _ q _ : r ^ s)
- p ^ : q ^ (r ^ s ^ t _ q)
f ) (r _ : s) _ (p ^ q) ! : p
- q _ p $ p ^ q
- (: p _ q) ^ (r ^ p)
- (q ^ : p) $ (r _ s) ! p
- Prove, usando tabela-verdade, as seguintes equivalências. Observe cada uma destas propriedades. Todas serão utilizadas na disciplina.
- Idempotência
p ^ p , p p _ p , p
b) Comutativa
...