Baixe o app para aproveitar ainda mais
Prévia do material em texto
Com relação às regras de dedução do cálculo proposicional a prova direta de validação de argumentos utiliza três regras, a saber: (1) Equivalências Tautológicas; (2) Implicações Tautológicas e o; (3) Teorema da Dedução. BISPO, C. A. F.; CASTANHEIRA, L. B.; SOUZA FILHO, O. M. Introdução à Lógica Matemática. Cengage Learning, 2011 (adaptado). A esse respeito, analise as afirmativas a seguir: I. Jacques Herbrand (1930) e Alfred Tarski (1936) aperfeiçoaram o método da suposição que ficou conhecido como Teorema da Dedução (TD). II. O TD consiste em: (1) assumir uma proposição P; (2) obter a partir dessa proposição utilizando regras de inferência aceitas por convenção, uma conclusão “C” e; (3) “afirmar” a condicional “P → C”. III. “P → C” pode ser estimado das premissas P1 ˄ P2 ˄ P3 ˄...˄ Pn-1. IV. Se Γ, P ⊢ C, então Γ ⊢ P → C. É correto o que se afirma em: Escolha uma opção: d. Todas as alternativas estão corretas. Feedback Sua resposta está correta. Questão 2 Correto Atingiu 1,00 de 1,00 Marcar questão Texto da questão A lógica pode ser entendida como a ciência do “raciocínio” cuja raiz etimológica deriva do grego clássico, logike, que significa “logos”, isto é, a palavra escrita ou falada. Além disso, quando pensamos na lógica como manifestação do pensamento é possível diferenciá-la com relação a sua fundamentação, o que ajudará a endossar qualquer apoio disciplinar. Sendo assim, a lógica pode ser ramificada em duas formas distintas. BARBOSA, M. A. Introdução à Lógica Matemática para acadêmicos. 1ª Ed. Curitiba: InterSaberes, 2017 (adaptado). Assinale a alternativa que representa as duas ramificações da lógica: Escolha uma opção: a. Clássica e Não Clássica Feedback Sua resposta está correta. Questão 3 Correto Atingiu 1,00 de 1,00 Marcar questão Texto da questão Quando os valores lógicos atribuídos na última coluna de uma Tabela Verdade são apenas F então se tem uma proposição contraválida. Além disso, é dito ser uma contradição toda proposição composta P(p, q, r,...) cujo valor lógico é sempre FALSIDADE (F), independente dos valores lógicos das proposições atômicas (p, q, r,...). Assim sendo, considere a seguinte proposição “⁓p ˄ (p ˄ ⁓q)”: ROCHA, E. Raciocínio lógico para concursos: você consegue aprender. 3ª. Ed.rev. – Niterói, RJ: Impetus, 2010 (adaptado). Construa a Tabela Verdade: Assinale a alternativa que contenha a ilustração correta da Tabela Verdade da proposição “⁓p ˄ (p ˄ ⁓q)”: Escolha uma opção: a d. Feedback Sua resposta está correta. Questão 4 Correto Atingiu 1,00 de 1,00 Marcar questão Texto da questão 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: e. “p → p”; “⁓(p ˄ ⁓p)”; “p ˅ ⁓p”. Feedback Sua resposta está correta. Questão 5 Correto Atingiu 1,00 de 1,00 Marcar questão Texto da questão Se representarmos as _________ e a _________ utilizando fórmulas de predicados, podemos determinar que o argumento base é válido se o conjunto das fórmulas que representam as ________ “implicar” logicamente a fórmula que corresponde a _________ . MORTARI, C. A. Introdução à Lógica. São Paulo: Editora UNESP: Imprensa Oficial do Estado, 2001 (adaptado). Assinale a alternativa que preenche as lacunas do texto corretamente e respectivamente: Escolha uma opção: c. Premissas; conclusão; premissas; conclusão. Feedback Sua resposta está correta. Questão 6 Correto Atingiu 1,00 de 1,00 Marcar questão Texto da questão 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: b. Método semântico Feedback Sua resposta está correta. Questão 7 Correto Atingiu 1,00 de 1,00 Marcar questão Texto da questão Para determinar o valor lógico VERDADEIRO (V) ou FALSIDADE (F) de uma proposição composta (P, Q, R,...) utiliza-se um método semântico (instrumento) conhecido como Tabela Verdade cujo objetivo consiste em assegurar que todas as combinações possíveis dos valores verdade de cada proposição simples (p, q, r,...) foram concluídas. BISPO, C. A. F.; CASTANHEIRA, L. B.; SOUZA FILHO, O. M. Introdução à Lógica Matemática. Cengage Learning, 2011 (adaptado). Construa a Tabela Verdade dos conectivos proposicionais “˄”; “˅”, “˅” “→”, “↔”, “⁓”: Assinale a alternativa que contenha a construção correta da Tabela Verdade dos conectivos proposicionais. Escolha uma opção: Feedback Sua resposta está correta. Questão 8 Correto Atingiu 1,00 de 1,00 Marcar questão Texto da questão 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: e. 1. p → q P1 2. q → r P2 3. ∴ p → r C Feedback Sua resposta está correta. Questão 9 Correto Atingiu 1,00 de 1,00 Marcar questão Texto da questão Traduza as proposições compostas ou moleculares “P”, “Q” e “R” para a linguagem simbólica utilizando os conectivos proposicionais “˄”; “˅”; “˅” “→”; “↔”; “⁓” quando necessário e as letras minúsculas ou letras proposicionais (p, q, r,..., s) para representar as proposições simples ou atômicas. ALENCAR FILHO, E. (2002). Iniciação à lógica matemática. São Paulo: Nobel, 2002 (adaptado). P: “Thomas escreverá para Maria e ela irá para Roma”. Q: “Theobaldo é alto, ou baixo”. R: “Oswald jogará na competição se, e somente se Bernadete não competir”. Assinale a alternativa que representa corretamente a tradução simbólica das proposições compostas “P”, “Q” e “R”, respectivamente: Escolha uma opção: d. p ˄ q; p ˅ q; p ↔ ⁓ q. Feedback Sua resposta está correta. Questão 10 Correto Atingiu 1,00 de 1,00 Marcar questão Texto da questão 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. d. Conjunção; Disjunção Inclusiva; Condicional; Negação. Feedback Sua resposta está correta.
Compartilhar