LÓGICA

Prévia do material em texto

Questão 2 
Correto 
Atingiu 0,67 de 0,67 
Marcar questão 
Texto da questão 
A lógica clássica é baseada em simbolismos, isto é, padrão aristotélico, e cujo rigor 
tende a ser mais fundamentalista. Por sua vez, a lógica aristotélica pode ser 
interpretada como a ciência do julgamento dividindo a lógica em formal e material. 
 
BARBOSA, M. A. Introdução à Lógica Matemática para acadêmicos. 1. ed. Curitiba: 
InterSaberes, 2017. 
 
Assinale a alternativa que apresenta corretamente a estrutura abordada pela lógica 
formal. 
Escolha uma opção: 
a. Estrutura do Conhecimento. 
b. Estrutura do Pensamento. 
c. Estrutura das Possibilidades. 
d. Estrutura do Raciocínio 
e. Estrutura da Moral. 
Questão 3 
Correto 
Atingiu 0,68 de 0,68 
Marcar questão 
Texto da questão 
Para provar um argumento é necessário utilizar o método semântico Tabela Verdade. 
Todavia, dependendo do número de linhas o tamanho da tabela verdade é regido pela 
fórmula 2n2�, (n é o número de proposições simples que compõe a Tabela Verdade), 
note que a aplicação é exaustiva e impraticável. Sendo assim, surge outra forma para 
provar a validade de um argumento conhecido como Método Dedutivo utilizando 
provas diretas de validação cujos instrumentos são as implicações e equivalências 
tautológicas. Considere a seguinte proposição composta R: 
 
R: “Se o avião não tivesse caído, teria feito contato por rádio. O avião não fez contato 
pelo rádio. Portanto, o avião caiu”. 
 
ALENCAR FILHO, E. (2002). Iniciação à lógica matemática. São Paulo: Nobel, 2002. 
 
Considerando o contexto apresentado, é correto o que se afirma em: 
Escolha uma opção: 
a. Indepotência. 
b. Modus Ponens. 
c. Silogismo Hipotético. 
d. Modus Tollens. 
e. Silogismo Disjuntivo. 
Questão 4 
Correto 
Atingiu 0,67 de 0,67 
Marcar questão 
Texto da questão 
É 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. 
 
Assinale a alternativa que apresenta corretamente estas características. 
Escolha uma opção: 
a. Associação 
b. Comutação 
c. Regras de inferência 
d. Importação 
e. Exportação 
Questão 5 
Correto 
Atingiu 0,67 de 0,67 
Marcar questão 
Texto da questão 
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. 
 
( ) 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. 
Escolha uma opção: 
a. V-V-F-F-V. 
b. V-V-V-V-V. 
c. F-V-V-F-F. 
d. V-F-V-F-V. 
e. F-V-V-V-F. 
Questão 6 
Correto 
Atingiu 0,67 de 0,67 
Marcar questão 
Texto da questão 
Sabendo que a partir das regras dos conectivos proposicionais é possível construir as 
respectivas Tabelas Verdade, a Disjunção possui valor lógico FALSIDADE (F) se, e 
somente se, ambas as proposições simples “p” e “q” são falsas, ou seja, o valor lógico é 
VERDADEIRO (V) quando ao menos uma proposição simples seja verdadeira 
 
BISPO, C. A. F.; CASTANHEIRA, L. B.; SOUZA FILHO, O. M. Introdução à Lógica 
Matemática. Cengage Learning, 2011. 
 
Assinale a alternativa que contenha a construção correta da Tabela Verdade da 
Disjunção “˅ ”. 
Escolha uma opção: 
a. 
b. 
c. 
d. 
e. 
Questão 7 
Correto 
Atingiu 0,67 de 0,67 
Marcar questão 
Texto da questão 
As Tabelas Verdade são um instrumento para validação de argumentos. Além disso, a 
partir das regras dos conectivos proposicionais é possível construir as respectivas 
Tabelas Verdade. Assim, uma proposição condicional possui valor lógico FALSIDADE (F) 
se, e somente se, a proposição antecedente possuir valor lógico VERDADEIRO (V) e a 
consequente valor lógico FALSIDADE (F). 
 
BISPO, C. A. F.; CASTANHEIRA, L. B.; SOUZA FILHO, O. M. Introdução à Lógica 
Matemática. Cengage Learning, 2011. 
 
 
Assinale a alternativa que contenha a construção correta da Tabela Verdade da 
Condicional “→ ”. 
Escolha uma opção: 
a. 
b. 
c. 
d. 
e. 
Questão 8 
Correto 
Atingiu 0,67 de 0,67 
Marcar questão 
Texto da questão 
Com base nas classificações dos conectivos lógicos é possível construir as respectivas 
Tabelas Verdade. Dessa forma, uma conjunção tem seu valor lógico VERDADEIRO (V), 
se e somente se, as duas proposições simples “p” e “q” possuírem valor lógico V. 
 
BISPO, C. A. F.; CASTANHEIRA, L. B.; SOUZA FILHO, O. M. Introdução à Lógica 
Matemática. Cengage Learning, 2011. 
 
Assinale a alternativa que contenha a construção correta da Tabela Verdade da 
Conjunção “˄”. 
Escolha uma opção: 
a. 
b. 
c. 
d. 
e. 
Questão 9 
Correto 
Atingiu 0,67 de 0,67 
Marcar questão 
Texto da questão 
A lógica modal trata das expressões “necessariamente” e “possivelmente”. Tal 
expressão é utilizada para qualificar a verdade de um argumento, ou seja, a lógica 
modal consiste em estudar o comportamento dedutivo das expressões “é necessário 
que” e “é possível que”. Além disso, a lógica modal pode ser representada por meio 
dos operadores básicos. 
 
MACHADO, N. J.; CUNHA, M.O. Lógica e linguagem cotidiana: verdade, coerência, 
comunicação, argumentação. 4. ed. Belo Horizonte: Autêntica, 2019. 
 
 
Assinale a alternativa que apresenta corretamente estas características. 
Escolha uma opção: 
a. É impossível que/ “possivelmente” e É necessário que/ “necessariamente”. 
b. É possível que/ “possivelmente” e É desnecessário que/ “desnecessariamente”. 
c. É possível que/ “possivelmente” e É necessário que/ “necessariamente”. 
d. É possível que/ “impossível” e É desnecessário que/ “desnecessariamente”. 
e. É impossível que/ “impossível” e É necessário que/ “necessariamente”. 
Questão 10 
Correto 
Atingiu 0,67 de 0,67 
Marcar questão 
Texto da questão 
O Método Semântico conhecido como Tabelas Verdade são um instrumento para 
validação de argumentos. Por sua vez, seguindo as regras dos conectivos lógicos é 
possível construir suas Tabelas Verdade. Dessa forma, uma proposição bicondicional 
possui o valor lógico VERDADEIRO (V) se, e somente se, ambas as proposições simples 
“p” (antecedente) e “q” (consequente) possuírem o mesmo valor lógico sejam eles V ou 
F. 
 
BISPO, C. A. F.; CASTANHEIRA, L. B.; SOUZA FILHO, O. M. Introdução à Lógica 
Matemática. Cengage Learning, 2011. 
 
 
Assinale a alternativa que contenha a construção correta da Tabela Verdade da 
Bicondicional “↔ ”. 
 
Escolha uma opção: 
a. 
b. 
c. 
d. 
e. 
Questão 11 
Correto 
Atingiu 0,67 de 0,67 
Marcar questão 
Texto da questão 
Sabendo que as tabelas verdade são um método semântico de validação de 
argumentos com restrições quanto a sua aplicabilidade surge a utilização da prova 
direta de validade utilizando as implicações tautológicas ou regras de inferência. 
BISPO, C. A. F.; CASTANHEIRA, L. B.; SOUZA FILHO, O. M. Introdução à Lógica 
Matemática. Cengage Learning, 2011. 
 
 
 
 
 
Assinale a alternativa que completa corretamente as lacunas do quadro acima: 
 
Escolha uma opção: 
a. Simplificação (SIMP); Conjunção (CONJ). 
b. Modus Tollens (MT); Conjunção (CONJ). 
c. Modus Ponens (MP); Absorção (ABS). 
d. Modus Ponens (MP); Modus Tollens (MT). 
e. Conjunção (CONJ); Modus Tollens (MT). 
Questão 12 
Correto 
Atingiu 0,67 de 0,67 
Marcar questão 
Texto da questão 
As Tabelas Verdade consistem em um método semântico para validação de 
argumentoscom limitações práticas. Sendo assim, para obter o número de linhas de 
uma Tabela Verdade basta aplicar a fórmula 2n, sendo que n representa o número de 
proposições. 
 
 
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 corresponde ao número de linhas de uma Tabela Verdade 
com as proposições simples “p”, “q”, “r” e “s”. 
 
 
Diante do exposto, assinale a alternativa correta: 
Escolha uma opção: 
a. 8 
b. 64 
c. 32 
d. 16 
e. 4 
Questão 13 
Correto 
Atingiu 0,67 de 0,67 
Marcar questão 
Texto da questão 
A história da lógica é registrada a partir das contribuições do filósofo grego Aristóteles 
(384-322 a. C.) não havendo sido encontrado evidências de contribuições anteriores. 
Isto posto, a lógica formal surge com Aristóteles na concepção de instrumentos do 
pensamento compilada na obra Órganon. 
 
KNEALE, W.; KNEALE, M. O desenvolvimento da lógica. 2. ed. Lisboa: Fundação 
Calouste Gulbenkian, 1962. 
 
Assinale a alternativa que apresenta corretamente estas características. 
Escolha uma opção: 
a. Predicados 
b. Abdução 
c. Absorção 
d. Algoritmo 
e. Silogismos 
Questão 14 
Correto 
Atingiu 0,67 de 0,67 
Marcar questão 
Texto da questão 
O filósofo, matemático e lógico austríaco Kurt Godel em 1933 incluiu a lógica modal 
como uma extensão da lógica proposicional clássica, e, sobretudo, relacionou pela 
primeira vez a lógica modal com a lógica intuicionista. Isto posto, foram muitas as 
contribuições nesta abordagem até alcançar a Semântica Relacional de Mundos 
Possíveis (SRMP). 
 
HAACK, S. Filosofia das lógicas; tradução Cezar Augusto Mortari, Luiz Henrique de 
Araújo Dutra. São Paulo: UNESP, 2002. 
 
Considerando as informações apresentadas, analise as afirmativas a seguir: 
 
I. A lógica modal abrange os aspectos de verdades necessárias e verdades 
contingentes. 
II. A verdade necessária é uma verdade que não poderia ser de outra forma. 
III. A negação de uma verdade necessária é impossível ou contraditória. 
IV. Uma verdade necessária é verdadeira de acordo com a SRMP. 
 
Considerando o contexto apresentado, é correto o que se afirma em: 
Escolha uma opção: 
a. I, II e IV, apenas. 
b. I, apenas. 
c. I, II, III e IV. 
d. I e II, apenas. 
e. III e IV, apenas. 
Questão 15 
Correto 
Atingiu 0,67 de 0,67 
Marcar questão 
Texto da questão 
Um argumento composto pelas premissas P1, P2, P3,..., Pn-1 e conclusão “C” pode ser 
representado como: P1,P2,P3,...,Pn−1�1,�2,�3,...,��−1 ⊢ C� 
 
ALENCAR FILHO, E. (2002). Iniciação à lógica matemática. São Paulo: Nobel, 2002. 
 
 
 
Considerando as informações apresentadas, analise as afirmativas a seguir: 
I. “P1, P2, P3,..., Pn-1 acarretam C”. 
II. “C decorre de P1, P2, P3,..., Pn-1”. 
III. “C se deduz de P1, P2, P3,..., Pn-1”. 
IV. “C se infere de P1, P2, P3,..., Pn-1”. 
 
 
Considerando o contexto apresentado, é correto o que se afirma em: 
Escolha uma opção: 
a. I, apenas. 
b. I, II e IV, apenas. 
c. I, II, III e IV. 
d. I e II, apenas. 
e. I e IV, apenas.