Baixe o app para aproveitar ainda mais
Prévia do material em texto
APOL 3 PROTOCOLO: 201703201628227F4C586FABIO SÓ BRIGONI DE MORAES - RU: 1628227 Nota: 100 Disciplina(s): Raciocínio Lógico Data de início: 20/03/2017 15:13 Prazo máximo entrega: - Data de entrega: 20/03/2017 15:23 Questão 1/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, escrevese que P (p, q, r....) Q (p, q, r, ...), que se lê: P implica em Q." Considerase então que a implicação lógica entre duas dadas fórmulas proposicionais ocorre quando: Nota: 20.0 A quando nas respectivas tabelasverdades, linha a linha nas colunas resultado, não concorre simultaneamente em verdadefalsidade, nesta ordem. B quando o conjunto resposta das tabelasverdades é nulo. C quando as tabelasverdades tem como conjunto resposta F para todas linhas. D quando as as tabelasverdades tem o conjunto resposta em todas linhas Verdadeiro e Falso alternadamente. E quando as fórmulas proposicionais são iguais. 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 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, escrevese 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 tabelasverdades, linha a linha nas colunas resultado, não concorre simultaneamente em verdadefalsidade, nesta ordem. lógica é representada pelo seguinte símbolo: Nota: 20.0 A B C D <> Questão 3/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 Você acertou! 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 valoresverdade das p, q, r, ... proposições componentes, como no exemplo: p q ~ p v q 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 4/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 Questão 5/5 - Raciocínio Lógico Segundo a definição de Equivalência lógica (Aula 4), definise que uma proposição P é logicamente equivalante ou apenas equivale a uma proposição Q se: Assinale a alternativa CORRETA Você acertou! Teorema Dizse 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 valoresverdade das p, q, r, ... proposições componentes. Você acertou! 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 D P e Q não são representados por tabelas verdade Você acertou!
Compartilhar