Apol3.pdf

Prévia do material em texto

Questão 1/5 - Raciocínio Lógico 
Complete a Tabela Verdade abaixo, e identifique se ela é uma tautologia, 
contradição ou contingência. 
 
Nota: 20.0 
 
A Contingência 
 
B Tautologia 
Você acertou! 
 
 
C Contradição 
 
D Contigência e Tautologia 
 
Questão 2/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 3/5 - Raciocínio Lógico 
Segundo a definição de Equivalência lógica (Aula 4), defini-se que uma 
proposição P é logicamente equivalante ou apenas equivale a uma 
proposição Q se: 
Assinale a alternativa CORRETA 
Nota: 20.0 
 
A As tabelas verdade destas duas proposições são diferentes 
 
B P e Q são representadas por tabela verdade diferentes 
 
C As tabelas verdade destas duas proposições são idênticas 
Você acertou! 
 
 
D P e Q não são representados por tabelas verdade 
 
Questão 4/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 5/5 - Raciocínio Lógico 
A Equivalência é descrita nos Slides 3 e 4/10 da aula 3 como: 
Dadas as fórmulas proposicionais P (p, q, r, ..., p1, ..., pn) diz-se que todas 
as fórmulas são logicamente equivalentes se, e somente se, V [P (p, q, r, 
...)] = V [Q (p, q, r, ...)] para quaisquer dos valores verdade das n-
proposições simples componentes. 
 
Esta descrição é comprovada através do 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. 
 
 
Você acertou! 
Slides 3 e 4/10 Aula 3 
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. 
 
Por exemplo: p q ~ p v q, pois 
 
 
 
Ou seja: p q ~ p v q, 
 
B Equivalência possui o mesmo significado da implicação 
lógica, alterando apenas o conectivo lógico para 
 
C Equivalência: P Q para as contradições 
 
D Equivalência e implicação lógica são teoremas 
complexos que utilizam diferentes conectivos lógicos