APOL 03 RACIOCNIO LGICO Nota 100 PDF
APOL 03 RACIOCNIO LGICO Nota 100 PDF
APOL 03 RACIOCNIO LGICO Nota 100 PDF
A Contingência
Tautologia
Você acertou!
C Contradição
D Contigência e Tautologia
Questão 2/10
Considera-se então que a implicação lógica entre duas dadas fórmulas proposicionais
ocorre quando:
quando nas respectivas tabelas-verdades, linha a linha nas colunas resultado, não
concorre simultaneamente em verdade-falsidade, nesta ordem.
A Você acertou!
Questão 3/10
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 é:
Ap q
BP Q
P Q
Você acertou!
Questão 4/10
Você acertou!
Implicação
Questão 5/10
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.
Você acertou!
Ou seja: p q ~ p v q,
Equivalência possui o mesmo significado da implicação lógica, alterando apenas
B
o conectivo lógico para
C Equivalência: P Q para as contradições
Equivalência e implicação lógica são teoremas complexos que utilizam
D
diferentes conectivos lógicos
Questão 6/10
A tabela verdade abaixo, apresentada como exemplo no Slide 4/10 da aula 3,
Equivalência: P (p, q, r, ...) Q (p, q, r, ...) se, e somente se, V [P (p, q, r, ...)] =
A 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 ~pvq
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 7/10
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:
A contradição
B implicação
idempotência
C
Tautologia
Você acertou!
Questão 8/10
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, defini-se que uma proposição P é logicamente equivalante ou
apenas equivale a uma proposição Q se:
A As tabelas verdade destas duas proposições são diferentes
B P e Q são representadas por tabela verdade diferentes
As tabelas verdade destas duas proposições são idênticas
Você acertou!
Questão 9/10
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:
B
Você acertou!
C
D <->
Questão 10/10
"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:"
Você acertou!