Prévia do material em texto
Raciocínio Lógico - Prova Discursiva QUESTÃO 1 Leia o fragmento de texto de Alencar Filho, que define: “Número de Linhas de uma tabela verdade: O Número de linhas da tabela verdade de uma proposição composta depende do número de proposições simples que a integram. ” Alencar Filho, Edgard de, Iniciação à lógica matemática, NBL Editora, 2002. Cap 3 pg 29. Considerando o conteúdo ministrado nas aulas e nos livros base, qual a fórmula utilizada para calcular o número de linhas de uma tabela verdade? Resposta: Cada proposição simples (atômica) tem dois valores V ou F, que se excluem. Para 𝒏 atômicas distintas, há tantas possibilidades quantos são os arranjos com repetição de 2 (V e F) elementos 𝒏 a 𝒏. Segue-se que o número de linhas da tabela verdade é 2n. Assim, para duas proposições são 22 = 4 linhas; para 3 proposições são 23 = 8; etc. QUESTÃO 2 Considerando o material complementar de apoio didático e os conteúdos abordados em sala e, qual a definição de disjunção? Resposta: Chama-se disjunção (inclusiva) de duas proposições 𝒑 e 𝒒 a proposição representada por 𝒑∨𝒒 (p ou q), cujo valor lógico é 𝑽 (verdadeiro) quando pelo menos uma das proposições (𝒑, 𝒒) é 𝑽 (verdadeira), sendo 𝑭 (falso) apenas quando ambos os valores lógicos das proposições forem 𝑭 (falsos), o que pode ser representado por: (𝑽𝑳(𝒑)=𝑭, 𝑽𝑳(𝒒)=𝑭). QUESTÃO 3 De acordo com os conteúdos abordados nas aulas e no material de apoio didático, qual a ORDEM DE PRECEDÊNCIA DOS OPERADORES LÓGICOS? Resposta: Em proposições mais longas, o uso de muitos parênteses para definir a precedência das operações pode tornar sua análise mais complexa. Para resolver isso, é comum se estabelecer uma ordem de precedência dos conectivos lógicos que torna desnecessária a colocação de parênteses: Precedência: 1ª 2ª 3ª 4ª 5ª Operador: ∼ ∧ ∨ → ↔ QUESTÃO 4 Na aula 4 são apresentadas e definidas as regras da EQUIVALÊNCIA LÓGICA. Considerando os conteúdos ministrados em aula, responda: Qual a diferença entre os SÍMBOLOS ↔ e ⇔. Resposta: Diferença entre os símbolos de operação da bi-implicação e de relação equivalência Os símbolos ↔ e ⇔ são distintos, pois o símbolo ↔ (bicondicional ou bi-implicação) indica uma operação lógica. Já o símbolo ⇔ indica uma relação; em que todas as avaliações possíveis de uma operação bicondicional entre 𝑷 e 𝑸 (𝑷↔𝑸) resultam em 𝑽 (tautologia). Ex.: a bicondicional ~(𝒑∧~𝒒) ↔ (𝒑→𝒒) é tautologia. Logo, ~(𝒑∧~𝒒)⇔(𝒑→𝒒) é tautologia (equivalência lógica).