Prévia do material em texto
Questão 1/5 - Lógica Matemática Leia o texto abaixo: "Como negar disjunção Negando cada uma das proposições simples que a constituem. Por exemplo, se a proposição composta 'A garantia do carro é de 1 ano ou 10 mil quilômetros' é verdadeira, e sabendo-se que a mencionada garantia expirou, o que podemos concluir?". Após esta avaliação, caso queira ler o texto integralmente, ele está disponível em: MACHADO, N.J.; CUNHA, M.O. Lógica e linguagem cotidiana: Verdade, coerência, comunicação, argumentação. 2. ed. Belo Horizonte: Autêntica, 2008. p. 55. Considere a tabela a seguir: De acordo com os conteúdos do livro-base Introdução à lógica matemática para acadêmicos sobre relação de equivalência, analise as seguintes assertivas e assinale a alternativa que apresenta uma proposição correspondente aos elementos e condições da dada tabela-verdade. Nota: 20.0 A Proposição (r∨s)⇔(∼s↔∼r)(r∨s)⇔(∼s↔∼r) B Proposição (r→s)⇔(∼s→∼r)(r→s)⇔(∼s→∼r) Você acertou! Proposição (r→s)⇔(∼s→∼r)(r→s)⇔(∼s→∼r)(r?s)? que corresponde aos elementos e condições da tabela-verdade dada (livro-base, p. 66). C Proposição (r∧s)⇔(∼s→r)(r∧s)⇔(∼s→r) D Proposição (r→∼s)⇔(∼s→∼r)(r→∼s)⇔(∼s→∼r) E Proposição (r→s)⇔(s→∼r)(r→s)⇔(s→∼r) Questão 2/5 - Lógica Matemática Considere o trecho de texto a seguir: "Uma primeira providência, ao iniciarmos um estudo de Lógica, é aprender a distinguir um mero agrupamento de frases de um argumento de fato, ou seja, a distinguir argumentos de não-argumentos". Após esta avaliação, caso queira ler o texto integralmente, ele está disponível em: MACHADO, N.J.; CUNHA, M.O. Lógica e linguagem cotidiana: Verdade, coerência, comunicação, argumentação. 2. ed. Belo Horizonte: Autêntica, 2008. p. 17. De acordo com os conteúdos do livro-base Introdução à lógica matemática para acadêmicos sobre os conectivos lógicos das proposições, analise as assertivas a seguir e assinale a correta. Nota: 20.0 A Uma condicional do tipo “se...então” é representada logicamente por "⟷⟷". B O símbolo de implicação é representado logicamente por "~". C A bicondicional “se e somente se” é representada logicamente por "←←". D A expressão “para todo” é representada logicamente pelo conectivo "∃∃". E O conectivo "^" é equivalente à expressão "e" , tendo como nome lógico "conjunção". Você acertou! O conectivo “^” é equivalente à expressão “e”, tendo como nome lógico “conjunção” (livro-base, p. 34). Questão 3/5 - Lógica Matemática Considere o trecho de texto a seguir: "O número de linhas da tabela-verdade de uma proposição composta depende do número de proposições simples que a integram, sendo dado pelo seguinte teorema: A tabela verdade de uma proposição composta com n proposições simples componentes contém 2n2n linhas". Após esta avaliação, caso queira ler o texto integralmente, ele está disponível em: ALENCAR FILHO, Edgard de. Iniciação à lógica matemática. São Paulo: Nobel, 2002. p. 29. Considere a seguinte tabela: De acordo com os conteúdos do livro-base Introdução à lógica matemática para acadêmicos, considerando a última coluna da dada tabela-verdade, analise as seguintes assertivas e assinale a correta: Nota: 20.0 A Na primeira linha, o resultado é F. B Na segunda linha, o resultado é V C Na terceira linha, o resultado é V D Na quarta linha, o resultado é V. E A maioria das respostas é F. Você acertou! Somente a primeira linha tem resultado V. A sequência correta é (VFFF) (livro-base, p. 77). Questão 4/5 - Lógica Matemática Considere o trecho de texto a seguir: "Para demonstrar que um argumento é não-válido, basta encontrar um argumento da mesma forma e que tenha, no entanto, premissas verdadeiras e conclusão falsa. Esta maneira de demonstrar a não-validade de um argumento chama-se "Método do contra-exemplo". Após esta avaliação, caso queira ler o texto integralmente, ele está disponível em: ALENCAR FILHO, Edgard de. Iniciação à lógica matemática. São Paulo: Nobel, 2002. p. 102. De acordo com os conteúdos do livro-base Introdução à lógica matemática para acadêmicos, é correto afirmar que a regra modus ponens é uma implicação do tipo: Nota: 20.0 A (q→q)∧q⇒q(q→q)∧q⇒q B (p↔q)∧p⇒q(p↔q)∧p⇒q C (p→q)∧p⇒q(p→q)∧p⇒q Você acertou! A regra modus ponens é uma implicação do tipo (p→q)∧p⇒q(p→q)∧p⇒q (livro-base, p. 68). D (p→q)∧q⇒q(p→q)∧q⇒q E (p→q)∧q⇒p(p→q)∧q⇒p Questão 5/5 - Lógica Matemática Considere o trecho de texto a seguir: "Ao construir um argumentos, pretendemos justificar a verdade da conclusão a partir da verdae das premissas. Duas condições, portanto, são necessárias para que possamos garantir a verdade de uma conclusão: a verdade das premissas e o recurso a uma argumentação coerente". Após esta avaliação, caso queira ler o texto integralmente, ele está disponível em: MACHADO, N.J.; CUNHA, M.O. Lógica e linguagem cotidiana: Verdade, coerência, comunicação, argumentação. 2. ed. Belo Horizonte: Autêntica, 2008. p. 22. De acordo com os conteúdos do livro-base Introdução à lógica matemática para acadêmicos sobre o conceito de tautologia, analise as seguintes assertivas e assinale a correta: Nota: 20.0 A Uma tautologia é toda proposição composta cujo valor lógico é sempre a verdade, independentemente dos valores lógicos das proposições simples. Você acertou! Uma tautologia é toda proposição composta cujo valor lógico é sempre a verdade, independentemente dos valores lógicos das proposições simples. A definição de tautologia também é conhecida como fórmula logicamente válida (livro-base, p.59). B Se o valor lógico de uma proposição for falso, a tautologia é falsa. C A tautologia tem o mesmo valor que a contradição. D A contradição pode ser verdadeira desde que faça a negação de uma tautologia falsa. E A contradição pode ser verdadeira ou falsa dependendo do valor lógico das outras proposições.