Buscar

Logica de Programação Apol03

Faça como milhares de estudantes: teste grátis o Passei Direto

Esse e outros conteúdos desbloqueados

16 milhões de materiais de várias disciplinas

Impressão de materiais

Agora você pode testar o

Passei Direto grátis

Faça como milhares de estudantes: teste grátis o Passei Direto

Esse e outros conteúdos desbloqueados

16 milhões de materiais de várias disciplinas

Impressão de materiais

Agora você pode testar o

Passei Direto grátis

Faça como milhares de estudantes: teste grátis o Passei Direto

Esse e outros conteúdos desbloqueados

16 milhões de materiais de várias disciplinas

Impressão de materiais

Agora você pode testar o

Passei Direto grátis

Você viu 3, do total de 3 páginas

Prévia do material em texto

Questão 1/5 - Raciocínio Lógico 
No Slide 8/10 aula 3 é informado que: 
"A tabela-verdade, com base nas regras de implicação e equivalência, traz resultados para 
comprovação de valores que podem ser considerados como:" 
Nota: 20.0 
 
A novas tabelas verdade 
 
B gerenciadores de comprovação de uma proposição. 
Você acertou! 
 
 
C novas e diferentes proposições 
 
D método qualitativo de estudo de cálculo 
Questão 2/5 - Raciocínio Lógico 
A tabela verdade abaixo, apresentada como exemplo no Slide 4/10 da aula 3, 
 
 
justifica o seguinte teorema: 
Nota: 20.0 
 
A Equivalência: P (p, q, r, ...) Q (p, q, r, ...) se, e somente se, V [P (p, q, r, ...)] = V [Q (p, q, r, ...)] para os 2n arranjos possíveis de 
valores-verdade das p, q, r, ... proposições componentes, como no exemplo: p q ~ p v q 
Você acertou! 
Teorema 
Diz-se que duas fórmulas proposicionais quaisquer P (p, q, r, ...) e Q (p, q, r, ...) são de implicação, 
nesta ordem, se, e somente se, a condicional entre as mesmas gerar, por equivalência lógica, uma tautologia. 
Equivalência: P (p, q, r, ...) Q (p, q, r, ...) se, e somente se, V [P (p, q, r, ...)] = V [Q (p, q, r, ...)] 
para os 2n arranjos possíveis de valores-verdade das p, q, r, ... proposições componentes. 
 
B Teorema da tabela verdade da implicação 
 
C Teorema abstrato de P e Q 
 
D Tabela Verdade não expressa nenhum teorema 
Questão 3/5 - Raciocínio Lógico 
O Slide 6/10 da aula 3 sugere a leitura do artigo - Capítulo 5 - Implicação Lógica do Livro 
Iniciciação a Lógica Matemática de Edgar Alencar Filho. 
Segundo descrito neste conteúdo e Segundo a definição de implicação lógica do capítulo 1 
pagina 49, em particular toda proposição impica logicamente uma: 
Nota: 20.0 
 
A contradição 
 
B implicação 
 
C idempotência 
 
 
 
D Tautologia 
Você acertou! 
 
Questão 4/5 - Raciocínio Lógico 
Como apresentado no Slide 3/10 da aula 3, o símbolo utilizado para representar que que uma 
proposição P implica logicamente numa proposição Q é: 
Nota: 20.0 
 
A p q 
 
B P Q 
 
C P Q 
Você acertou! 
Slide 3/10 Aula 3. 
Implicação 
Uma proposição P (p, q, r, ...) implica logicamente numa proposição Q (p, q, r, ...) se Q (p, q, r, ...) é 
verdadeira (V) todas as vezes que P (p, q, r, ...) é verdadeira. Nestas condições, 
escreve-se que P (p, q, r....) Q (p, q, r, ...), que se lê: P implica em Q. 
A implicação lógica entre duas dadas fórmulas proposicionais quando nas respectivas tabelas-verdades, linha a linha nas colunas resultado, não 
concorre simultaneamente em verdade-falsidade, nesta ordem. 
 
D p P 
 
E Q Q 
Questão 5/5 - Raciocínio Lógico 
O Slide 6/10 da aula 3 sugere a leitura do artigo - Capítulo 6 - Equivalência Lógica do Livro 
Iniciciação a Lógica Matemática de Edgar Alencar Filho. 
Segundo descrito neste conteúdo e Segundo a definição de Equivalência lógica do capítulo 1 
pagina 54, a equivalência lógica é representada pelo seguinte símbolo: 
 
Nota: 20.0 
 
A 
 
B 
Você acertou! 
 
 
C 
 
 
D <->

Outros materiais