Prévia do material em texto
Painel / Cursos / Graduação R2 - UNICV / Licenciatura em Matemática (UniCV R2) / Raciocínio Lógico (Matemática - UniCV R2) / 📋 AVALIAÇÃO ON-LINE / CLIQUE AQUI: AVALIAÇÃO ONLINE AVUNICVR2 Iniciado em domingo, 17 mar 2024, 15:30 Estado Finalizada Concluída em domingo, 17 mar 2024, 15:55 Tempo empregado 24 minutos 15 segundos Notas 8,01/10,00 Avaliar 8,00 de um máximo de 10,00(80%) 22/07/2024, 19:46 CLIQUE AQUI: AVALIAÇÃO ONLINE AVUNICVR2 https://moodle.ead.unifcv.edu.br/mod/quiz/review.php?attempt=3661119 1/22 https://moodle.ead.unifcv.edu.br/my/ https://moodle.ead.unifcv.edu.br/my/ https://moodle.ead.unifcv.edu.br/course/index.php https://moodle.ead.unifcv.edu.br/course/index.php?categoryid=125 https://moodle.ead.unifcv.edu.br/course/index.php?categoryid=134 https://moodle.ead.unifcv.edu.br/course/view.php?id=3929 https://moodle.ead.unifcv.edu.br/course/view.php?id=3929#section-3 https://moodle.ead.unifcv.edu.br/mod/quiz/view.php?id=74674 Questão 1 Correto Atingiu 0,67 de 0,67 Uma contingência é toda proposição composta P(p, q, r,...) que não se configura como tautologia ou contradição. Ademais, as contingências são fórmulas cujo valor lógico não pode ser determinado utilizando apenas a análise lógica, ou seja, é necessário empregar a observação nessa tarefa. Dessa forma, considere a seguinte proposição “p → ⁓p”: MORTARI, C. A. Introdução à Lógica. São Paulo: Editora UNESP: Imprensa Oficial do Estado, 2001. Construa a Tabela Verdade: Assinale a alternativa que contenha a construção correta da Tabela Verdade de tal proposição: Escolha uma opção: a. b. c. 22/07/2024, 19:46 CLIQUE AQUI: AVALIAÇÃO ONLINE AVUNICVR2 https://moodle.ead.unifcv.edu.br/mod/quiz/review.php?attempt=3661119 2/22 d. e. 22/07/2024, 19:46 CLIQUE AQUI: AVALIAÇÃO ONLINE AVUNICVR2 https://moodle.ead.unifcv.edu.br/mod/quiz/review.php?attempt=3661119 3/22 Questão 2 Correto Atingiu 0,67 de 0,67 Sabendo que uma proposição é toda sentença declarativa afirmativa que expressa um pensamento de sentido completo, ou seja, uma proposição é uma sentença declarativa que pode assumir um de dois valores lógicos: VERDADEIRO (V) ou FALSIDADE (F). BARBOSA, M. A. Introdução à Lógica Matemática para acadêmicos. 1ª Ed. Curitiba: InterSaberes, 2017 (adaptado). Atribua o valor lógico Verdadeiro (V) ou Falsidade (F): ( ) A Lua é um satélite natural da Terra. ( ) Recife é a capital de Pernambuco. ( ) √144<√25. ( ) O grafeno é mais leve que o aço. ( ) O Brasil está situado na Oceania. Assinale a alternativa que apresenta a sequência correta em relação aos valores lógicos atribuídos: Escolha uma opção: a. V-V-F-V-F; b. V-F-V-F-V; c. F-V-V-F-F; d. F-V-V-V-F; e. V-V-F-V-V. 22/07/2024, 19:46 CLIQUE AQUI: AVALIAÇÃO ONLINE AVUNICVR2 https://moodle.ead.unifcv.edu.br/mod/quiz/review.php?attempt=3661119 4/22 Questão 3 Correto Atingiu 0,67 de 0,67 Por meio da linguagem proposicional é possível identificar dois aspectos: sintático e semântico. O sintático determina os símbolos, regras de formação e as regras de dedução lógica. O semântico consiste na atribuição dos valores lógicos sobre as proposições. Com relação aos conectivos proposicionais “˄”; “˅”; “→”; “↔”; “⁓”, complete o quadro a seguir com as respectivas classificações: SOUZA, J. N. Lógica para Ciência da Computação. Editora: Campus, 2002 (adaptado). Assinale a alternativa cujas palavras completam corretamente e respectivamente o quadro: Escolha uma opção: a. Conjunção; Negação; Condicional; Disjunção Exclusiva. b. Disjunção Exclusiva; Disjunção Inclusiva; Conjunção; Negação. c. Bicondicional; Quantificador; Condicional; Negação. 22/07/2024, 19:46 CLIQUE AQUI: AVALIAÇÃO ONLINE AVUNICVR2 https://moodle.ead.unifcv.edu.br/mod/quiz/review.php?attempt=3661119 5/22 d. Negação; Disjunção Inclusiva; Bicondicional; Negação. e. Conjunção; Disjunção Inclusiva; Condicional; Negação. 22/07/2024, 19:46 CLIQUE AQUI: AVALIAÇÃO ONLINE AVUNICVR2 https://moodle.ead.unifcv.edu.br/mod/quiz/review.php?attempt=3661119 6/22 Questão 4 Correto Atingiu 0,67 de 0,67 De acordo com Alencar Filho (2003) uma contradição é toda proposição composta P(p, q, r,...) cuja última coluna da Tabela Verdade reste somente o valor lógico FALSIDADE (F). Além disso, é dito ser uma contradição toda proposição composta P(p, q, r,...) cujo valor lógico é sempre F independente dos valores lógicos das proposições atômicas (p, q, r,...). ALENCAR FILHO, E. Iniciação à Lógica Matemática. São Paulo: Nobel, 2002 (adaptado). Construa a seguinte Tabela Verdade: Assinale a alternativa que contenha a construção correta da Tabela Verdade: Escolha uma opção: a. b. c. 22/07/2024, 19:46 CLIQUE AQUI: AVALIAÇÃO ONLINE AVUNICVR2 https://moodle.ead.unifcv.edu.br/mod/quiz/review.php?attempt=3661119 7/22 Questão 5 Não respondido Vale 0,67 ponto(s). d. e. Os conectivos lógicos são respectivamente: “˄”; “˅”, “→”, “↔”,“⁓”. Portanto, a negação de uma proposição pode ser representada por “não p”, ou simbolicamente por: “⁓p”. ALENCAR FILHO, E. (2002). Iniciação à lógica matemática. São Paulo: Nobel, 2002 (adaptado) Seja: p: “2 + 4 = 6” Assinale a alternativa que nega (⁓p) a proposição atômica “p”: Escolha uma opção: a. 5 + 1 = 6 b. 6 - 2 ≠ 4 c. 4 + 2 = 6 d. 2 + 4 ≠ 6 e. 7 – 1 ≠ 6 22/07/2024, 19:46 CLIQUE AQUI: AVALIAÇÃO ONLINE AVUNICVR2 https://moodle.ead.unifcv.edu.br/mod/quiz/review.php?attempt=3661119 8/22 Questão 6 Correto Atingiu 0,67 de 0,67 São utilizadas palavras explícitas ou não explícitas para conectar as frases e dotá-las de sentido. Entretanto, na Lógica Matemática substituímos essas palavras por uma simbologia, “˄”; “˅”, “˅”; “→”, “↔”, “⁓”, conhecido como conectivos lógicos, sentenciais ou proposicionais. BISPO, C. A. F.; CASTANHEIRA, L. B.; SOUZA FILHO, O. M. Introdução à Lógica Matemática. Cengage Learning, 2011 (adaptado). Considere as seguintes proposições: P: “Marcos é economista e Maria é estudante”. Q: “Se ingerirmos água, não morreremos por inanição”. R: “Mariê foi ao cinema ou ao teatro”. S: “O triângulo ABC é retângulo ou é equilátero”. Traduza as proposições da linguagem corrente para a simbólica e assinale a alternativa que apresenta as traduções de “P”, “Q”, “R” e “S”, respectivamente: Escolha uma opção: a. p ˅ q; p ↔ q; p → q; p ˅ q. b. p ˄ ⁓q; p ˄ q; p ˅ q; ⁓p ˅ q. c. p ↔ q; p → q; p ˄ q; p ↔ q. d. p ˄ q; p → ⁓q; p ˅ q; p ˅ q. e. ⁓p ˄ ⁓q; p ˅ q; p ˄ ⁓q; p ˄ q. 22/07/2024, 19:46 CLIQUE AQUI: AVALIAÇÃO ONLINE AVUNICVR2 https://moodle.ead.unifcv.edu.br/mod/quiz/review.php?attempt=3661119 9/22 Questão 7 Correto Atingiu 0,67 de 0,67 As tabelas verdade consistem em um _____________ ou instrumento capaz de verificar as consequências lógicas dessas proposições, ou seja, são utilizadas na validação de argumentos. ALENCAR FILHO, E. (2002). Iniciação à lógica matemática. São Paulo: Nobel, 2002 (adaptado). Assinale a alternativa que preenche corretamente e respectivamente a lacuna do texto: Escolha uma opção: a. Cálculo Proposicional b. Predicado c. Sofisma d. Falácia e. Método semântico 22/07/2024, 19:46 CLIQUE AQUI: AVALIAÇÃO ONLINE AVUNICVR2 https://moodle.ead.unifcv.edu.br/mod/quiz/review.php?attempt=3661119 10/22 Questão 8 Correto Atingiu 0,67 de 0,67 As tautologias são consideradas fórmulas que embasam as leis lógicas, ou seja, representam um sistema de lógica por meio de um conjunto de “leis”. Posto isso, as implicações e equivalências tautológicas fazem parte da consequência lógica cujo objetivo é a validação de argumentos. MORTARI, C. A. Introdução à Lógica. São Paulo: Editora UNESP: Imprensa Oficial do Estado, 2001. Assinale a alternativa que completa o quadro corretamente: Escolha uma opção: a. “⁓(p ˄ ⁓p)”; “p ˅ ⁓p”; “q ↔ p”. b. “⁓(p ˄ ⁓p)”; “((p ˅ q) ˄ ⁓p) → q”; “p → q”. c. “q ↔ p”; “⁓(p ˄ ⁓p)”; “p ˅ ⁓p”. d. “p ↔ ⁓⁓p” “p → p”; “⁓(p ˄ ⁓p)”. 22/07/2024, 19:46 CLIQUE AQUI: AVALIAÇÃO ONLINE AVUNICVR2 https://moodle.ead.unifcv.edu.br/mod/quiz/review.php?attempt=3661119 11/22Questão 9 Incorreto Atingiu 0,00 de 0,67 e. “p → p”; “⁓(p ˄ ⁓p)”; “p ˅ ⁓p”. É dito que um argumento P , P , P ,..., P ⊢ C é válido se, e somente se, a conclusão “C” é VERDADEIRA (V) todas as vezes que as premissas P , P , P ,..., P são VERDADEIRAS (V). ROCHA, E. Raciocínio lógico para concursos: você consegue aprender. 3ª. Ed.rev. – Niterói, RJ: Impetus, 2010. (adaptado). Analise as afirmativas abaixo: I. Todo argumento válido possui a característica de que a verdade das premissas é incompatível com o valor lógico F da conclusão “C”. II. Um argumento composto por duas premissas (proposições base) e uma conclusão é chamado de silogismo categórico formal ou regular. III. Um silogismo é uma forma de raciocínio dedutivo cujo princípio é partir de determinadas informações que se infere certa conclusão. IV. Um sofisma é um tipo de silogismo cujo objetivo é implicar a conclusão. É correto o que se afirma em: Escolha uma opção: a. Todas as alternativas estão corretas. b. Apenas I está correta. c. Apenas I e II estão corretas. d. Apenas I, II e III estão corretas. e. Apenas I, II e IV estão corretas. 1 2 3 n-1 1 2 3 n-1 22/07/2024, 19:46 CLIQUE AQUI: AVALIAÇÃO ONLINE AVUNICVR2 https://moodle.ead.unifcv.edu.br/mod/quiz/review.php?attempt=3661119 12/22 Questão 10 Correto Atingiu 0,67 de 0,67 Sabemos que o objetivo da consequência lógica é por meio das implicações e equivalências tautológicas, provas diretas e regras de inferência para realizar a validação dos argumentos. Sendo assim considere a seguinte proposição composta “Q”: Q: “Se alguém é mágico, então faz truques. Se alguém faz truques, ilude. Logo, se alguém é mágico, ilude.” MORTARI, C. A. Introdução à Lógica. São Paulo: Editora UNESP: Imprensa Oficial do Estado, 2001 (adaptado). Traduza para a forma simbólica e organize na forma do argumento. Assinale a alternativa correta: Escolha uma opção: a. 1. p → q P1 2. q → r P2 3. ∴ p → r C b. 1. ⁓p → q P1 2. q ˅ r P2 3. ∴ ⁓p → r C c. 1. p ↔ q P1 2. ⁓q → r P2 3. ∴ p ˄ r C 22/07/2024, 19:46 CLIQUE AQUI: AVALIAÇÃO ONLINE AVUNICVR2 https://moodle.ead.unifcv.edu.br/mod/quiz/review.php?attempt=3661119 13/22 d. 1. ⁓p ↔ ⁓q P1 2. ⁓q → r P2 3. ∴ p ˅ r C e. 1. p ˄ q P1 2. q ↔ r P2 3. ∴ p → ⁓r C 22/07/2024, 19:46 CLIQUE AQUI: AVALIAÇÃO ONLINE AVUNICVR2 https://moodle.ead.unifcv.edu.br/mod/quiz/review.php?attempt=3661119 14/22 Questão 11 Correto Atingiu 0,67 de 0,67 Com base no Princípio do Terceiro excluído, ou seja, que é possível atribuir um valor lógico VERDADEIRO (V) ou FALSIDADE (F) e nunca um terceiro valor ou objeto para determinada proposição simples (p, q, r,...) é possível obter os arranjos binários VV, VF, FV e FF. ALENCAR FILHO, E. (2002). Iniciação à lógica matemática. São Paulo: Nobel, 2002 (adaptado). Com base na Figura, construa a Tabela Verdade para as proposições simples “p” e “q”. Assinale a alternativa correta: Escolha uma opção: 22/07/2024, 19:46 CLIQUE AQUI: AVALIAÇÃO ONLINE AVUNICVR2 https://moodle.ead.unifcv.edu.br/mod/quiz/review.php?attempt=3661119 15/22 a. b. c. 22/07/2024, 19:46 CLIQUE AQUI: AVALIAÇÃO ONLINE AVUNICVR2 https://moodle.ead.unifcv.edu.br/mod/quiz/review.php?attempt=3661119 16/22 d. e. 22/07/2024, 19:46 CLIQUE AQUI: AVALIAÇÃO ONLINE AVUNICVR2 https://moodle.ead.unifcv.edu.br/mod/quiz/review.php?attempt=3661119 17/22 Questão 12 Correto Atingiu 0,68 de 0,68 É possível provar a validade de um argumento conhecido como prova direta utilizando os instrumentos de implicações e equivalências tautológicas. Por sua vez, as implicações tautológicas são utilizadas para fazer inferências, ou seja, executar “etapas” de uma dedução ou demonstração. ALENCAR FILHO, E. (2002). Iniciação à lógica matemática. São Paulo: Nobel, 2002 (adaptado). Dessa forma, as implicações tautológicas são conhecidas como: Assinale a alternativa correta: Escolha uma opção: a. Associação b. Importação c. Regras de inferência d. Exportação e. Comutação 22/07/2024, 19:46 CLIQUE AQUI: AVALIAÇÃO ONLINE AVUNICVR2 https://moodle.ead.unifcv.edu.br/mod/quiz/review.php?attempt=3661119 18/22 Questão 13 Correto Atingiu 0,67 de 0,67 Uma proposição ou enunciado é toda sentença declarativa afirmativa que expressa um pensamento de sentido completo, ou seja, uma proposição é uma sentença declarativa que pode assumir um de dois valores lógicos: VERDADEIRO (V) ou FALSIDADE (F). BARBOSA, M. A. Introdução à Lógica Matemática para acadêmicos. 1ª Ed. Curitiba: InterSaberes, 2017 (adaptado). Atribua o valor lógico Verdadeiro (V) ou Falsidade (F): ( ) A Terra gira em torno do Sol. ( ) Florianópolis é a capital de Santa Catarina. ( ) π<√4. ( ) sen 0 = 1. ( ) Marte é um planeta. Assinale a alternativa que apresenta a sequência correta em relação aos valores lógicos atribuídos: Escolha uma opção: a. V-V-F-F-V; b. F-V-V-V-F; c. V-V-V-V-V. d. F-V-V-F-F; e. V-F-V-F-V; 22/07/2024, 19:46 CLIQUE AQUI: AVALIAÇÃO ONLINE AVUNICVR2 https://moodle.ead.unifcv.edu.br/mod/quiz/review.php?attempt=3661119 19/22 Questão 14 Correto Atingiu 0,67 de 0,67 As Tabelas Verdade são consideradas um método semântico ou instrumento cujo objetivo é a validação dos argumentos. Além disso, a noção de ____________________ é uma das mais importantes na Lógica Matemática. BISPO, C. A. F.; CASTANHEIRA, L. B.; SOUZA FILHO, O. M. Introdução à Lógica Matemática. Cengage Learning, 2011 (adaptado). Assinale a alternativa que preenche a lacuna do texto corretamente: Escolha uma opção: a. Teorema da Dedução b. Implicação lógica c. Equivalência Lógica d. Consequência lógica e. Tablôs Semânticos 22/07/2024, 19:46 CLIQUE AQUI: AVALIAÇÃO ONLINE AVUNICVR2 https://moodle.ead.unifcv.edu.br/mod/quiz/review.php?attempt=3661119 20/22 Questão 15 Incorreto Atingiu 0,00 de 0,67 A lógica aristotélica ou clássica obedece a três axiomas: Princípio da Identidade; Princípio da não contradição e o Princípio do Terceiro Excluído. Assim sendo, vamos analisar a proposição que representa o Princípio da Não Contradição, “⁓(p ˄ ⁓p)”. ALENCAR FILHO, E. (2002). Iniciação à lógica matemática. São Paulo: Nobel, 2002 (adaptado). Construa a Tabela Verdade: Assinale a alternativa que contenha a construção correta da Tabela Verdade de acordo com o Princípio da Não Contradição: Escolha uma opção: a. b. c. 22/07/2024, 19:46 CLIQUE AQUI: AVALIAÇÃO ONLINE AVUNICVR2 https://moodle.ead.unifcv.edu.br/mod/quiz/review.php?attempt=3661119 21/22 d. e. 22/07/2024, 19:46 CLIQUE AQUI: AVALIAÇÃO ONLINE AVUNICVR2 https://moodle.ead.unifcv.edu.br/mod/quiz/review.php?attempt=3661119 22/22