Baixe o app para aproveitar ainda mais
Prévia do material em texto
Questão 1/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 2/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 <-> Questão 3/5 - Raciocínio Lógico Como descrito no Slide 3 da Aula 3, "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." Considera-se então que a implicação lógica entre duas dadas fórmulas proposicionais ocorre quando: Nota: 20.0 A quando nas respectivas tabelas-verdades, linha a linha nas colunas resultado, não concorre simultaneamente em verdade- falsidade, nesta ordem. 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. B quando o conjunto resposta das tabelas-verdades é nulo. C quando as tabelas-verdades tem como conjunto resposta F para todas linhas. D quando as as tabelas-verdades tem o conjunto resposta em todas linhas Verdadeiro e Falso alternadamente. E quando as fórmulas proposicionais são iguais. 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 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
Compartilhar