Prévia do material em texto

Iniciado em domingo, 28 jan 2024, 23:17 
Estado Finalizada 
Concluída em segunda, 29 jan 2024, 00:02 
Tempo empregado 44 minutos 53 segundos 
Notas 7,99/10,00 
Avaliar 7,99 de um máximo de 10,00(80%) 
Questão 1 
Correto 
Atingiu 0,67 de 0,67 
Remover marcaçã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. Exportação 
e. Importação 
Questão 2 
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 3 
Correto 
Atingiu 0,67 de 0,67 
Marcar questão 
Texto da questão 
A lógica aristotélica pode ser interpretada como a ciência do julgamento dividindo a lógica 
em __________ e __________. Dessa forma, aborda a estrutura do raciocínio, ou seja, 
estuda as relações entre conceitos e provas, sendo conhecida também como lógica 
matemática. 
 
BARBOSA, M. A. Introdução à Lógica Matemática para acadêmicos. 1ª Ed. Curitiba: 
InterSaberes, 2017. 
 
Assinale a alternativa cujas respostas preenchem corretamente as lacunas: 
Escolha uma opção: 
a. Formal e material. 
b. Paraconsistente e Paracompleta. 
c. Material e não clássica. 
d. Formal e Fuzzy. 
e. Fuzzy e Material. 
Questão 4 
Correto 
Atingiu 0,67 de 0,67 
Marcar questão 
Texto da questão 
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, FF. 
 
ALENCAR FILHO, E. (2002). Iniciação à lógica matemática. São Paulo: Nobel, 2002. 
 
Com base na Figura, construa a Tabela Verdade para as proposições simples “p” e “q”. 
 
 
Assinale a alternativa correta: 
 
 
Escolha uma opção: 
a. 
 
b. 
 
 
 
 
c. 
 
d. 
 
e. 
 
Questão 5 
Correto 
Atingiu 0,67 de 0,67 
Remover marcação 
Texto da questão 
Os quantificadores se restringem as funções proposicionais, isto é, representam todo um 
determinado conjunto Ω (ômega) ou parte desse conjunto. Isto é, ao definir o conjunto de 
elementos Ω, o domínio de uma função proposicional, incluindo a esta os quantificadores, 
obtendo assim, uma proposição, ou seja, uma sentença declarativa que pode receber 
atribuição de um valor lógico VERDADEIRO (V) ou FALSIDADE (F). 
 
BISPO, C. A. F.; CASTANHEIRA, L. B.; SOUZA FILHO, O. M. Introdução à Lógica 
Matemática. Cengage Learning, 2011. 
 
Considerando o contexto apresentado, é correto o que se afirma em: 
Escolha uma opção: 
a. Quantificador universal e existencial. 
b. Quantificador aleatório e existencial. 
c. Quantificador experimental e existencial. 
d. Quantificador universal e experimental. 
e. Quantificador universal e aleatório. 
Questão 6 
Correto 
Atingiu 0,67 de 0,67 
Remover marcaçã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. 
 
Assinale a alternativa que apresenta corretamente estas características. 
Escolha uma opção: 
a. Estóica e Megárica 
b. Paracompleta e Paraconsistente 
c. Clássica e Não Clássica 
d. Aristotélica e Estóica 
e. Booleana e Paraconsistente 
Questão 7 
Correto 
Atingiu 0,67 de 0,67 
Remover marcaçã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. Modus Tollens. 
b. Indepotência. 
c. Silogismo Disjuntivo. 
d. Silogismo Hipotético. 
e. Modus Ponens. 
Questão 8 
Incorreto 
Atingiu 0,00 de 0,67 
Remover marcação 
Texto da questão 
De forma geral, ao tratar sobre lógica, está sendo tomado como referência a lógica formal, 
clássica, ortodoxa ou aristotélica. Isto posto, as proposições, ou sentenças declarativas 
são restritas a atribuição de um e apenas um, dentre dois valores lógicos V ou F. Tal 
suposição bivalente ou dicotômica é baseada nos princípios da lógica clássica, 
especificamente, nos princípios da não contradição e do terceiro excluído. Todavia, as 
limitações impostas pelos princípios fundamentais da lógica restringem a solução de 
problemas dando origem às lógicas não clássicas. 
 
DA COSTA, N. C. A. Lógica indutiva e probabilidade. 2. ed. São Paulo: Hucitec, 1993. 
 
Considerando as informações apresentadas, analise as afirmativas a seguir: 
 
I. Consiste em um dos objetivos das lógicas não clássicas estender o alcance de resolução 
de problemas da lógica clássica. 
II. São tipos de lógicas não clássicas: modais, alternativas e paraconsistentes. 
III. A primeira tentativa de organizar e axiomatizar a lógica modal é atribuído a Clarence 
Irving Lewis em 1918. 
IV. É considerado o criador da lógica paraconsistente o matemático brasileiro Newton C.A 
da Costa. 
 
Considerando o contexto apresentado, é correto o que se afirma em: 
Escolha uma opção: 
a. I e II, apenas. 
b. I, apenas. 
c. III e IV, apenas. 
d. I, II e IV, apenas. 
e. I, II, III e IV. 
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/ “impossível” e É necessário que/ “necessariamente”.b. É possível que/ “possivelmente” e É desnecessário que/ “desnecessariamente”. 
c. É impossível que/ “possivelmente” e É necessário que/ “necessariamente”. 
d. É possível que/ “possivelmente” e É necessário que/ “necessariamente”. 
e. É possível que/ “impossível” e É desnecessário que/ “desnecessariamente”. 
Questão 10 
Incorreto 
Atingiu 0,00 de 0,68 
Remover marcaçã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, apenas. 
b. I, II, III e IV. 
c. I, II e IV, apenas. 
d. I e II, apenas. 
e. III e IV, apenas. 
Questão 11 
Correto 
Atingiu 0,67 de 0,67 
Marcar questão 
Texto da questão 
Um argumento representa um conjunto de “n”_____________, ou fórmulas, sendo que 
uma é a consequência (conclusão), isto é, deriva das premissas (outras). Sendo assim, as 
premissas são notadas como Pi, na qual, i = 1, 2, 3, ..., (n-1) e a conclusão é “C”. 
 
MORTARI, C. A. Introdução à Lógica. São Paulo: Editora UNESP: Imprensa Oficial do 
Estado, 2001. 
 
Assinale a alternativa que preenche a lacuna do texto corretamente: 
Escolha uma opção: 
a. Proposições 
b. Predicados 
c. Refutações 
d. Argumentos 
e. Asserção 
Questão 12 
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 13 
Incorreto 
Atingiu 0,00 de 0,67 
Marcar questão 
Texto da questão 
Sendo p(x) uma sentença aberta em um conjunto A, o símbolo ∀, referindo-se à variável x 
representa uma operação lógica que modifica a sentença aberta p(x) em uma proposição, 
V ou F, conforme p(x) expressa ou não uma condição universal no conjunto A. Tal 
operação é denominada de quantificação universal e o símbolo ∀ significa quantificador 
universal. Seja o conjunto de números inteiros Z e considere as seguintes funções 
proposições: 
 
p: x–7>3�–7>3. 
q: x2–5x+6=0�2–5�+6=0. 
 
ALENCAR FILHO, E. Iniciação à Lógica Matemática. São Paulo: Nobel, 2002. 
 
Considerando as informações apresentadas, analise as afirmativas a seguir: 
 
I. É possível verificar que “p” é V para valores superiores a 10. 
II. A proposição “q” é F para valores diferentes de 2 e 3. 
III. A proposição “q” é V para as raízes x1=3 e x2=3. 
IV. ∀x(x∈Z,x–7>3)∀�(�∈�,�–7>3), possui valor lógico F. 
 
Considerando o contexto apresentado, é correto o que se afirma em: 
Escolha uma opção: 
a. I, II, III e IV. 
b. I e II, apenas. 
c. I, II e III, apenas. 
d. I, apenas. 
e. I, II e IV, apenas. 
Questão 14 
Correto 
Atingiu 0,67 de 0,67 
Remover marcaçã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 Raciocínio 
b. Estrutura do Conhecimento. 
c. Estrutura das Possibilidades. 
d. Estrutura da Moral. 
e. Estrutura do Pensamento. 
Questão 15 
Correto 
Atingiu 0,67 de 0,67 
Remover marcação 
Texto da questão 
As Tabelas Verdade consistem em um método semântico para validação de argumentos 
com 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. 16 
b. 8 
c. 4 
d. 32 
e. 64 
 
 
 
 
 
Copia 
Iniciado em domingo, 28 jan 2024, 23:17 
Estado Finalizada 
Concluída em segunda, 29 jan 2024, 00:02 
Tempo empregado 44 minutos 53 segundos 
Notas 7,99/10,00 
Avaliar 7,99 de um máximo de 10,00(80%) 
Questão 1 
Correto 
Atingiu 0,67 de 0,67 
Remover marcaçã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. Exportação 
e. Importação 
Questão 2 
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 3 
Correto 
Atingiu 0,67 de 0,67 
Marcar questão 
Texto da questão 
A lógica aristotélica pode ser interpretada como a ciência do julgamento dividindo a lógica em 
__________ e __________. Dessa forma, aborda a estrutura do raciocínio, ou seja, estuda 
as relações entre conceitos e provas, sendo conhecida também como lógica matemática. 
 
BARBOSA, M. A. Introdução à Lógica Matemática para acadêmicos. 1ª Ed. Curitiba: 
InterSaberes, 2017. 
 
Assinale a alternativa cujas respostas preenchem corretamente as lacunas: 
Escolha uma opção: 
a. Formal e material. 
b. Paraconsistente e Paracompleta. 
c. Material e não clássica. 
d. Formal e Fuzzy. 
e. Fuzzy e Material. 
Questão 4 
Correto 
Atingiu 0,67 de 0,67 
Marcar questão 
Texto da questão 
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, FF. 
 
ALENCAR FILHO, E. (2002). Iniciação à lógicamatemática. São Paulo: Nobel, 2002. 
 
Com base na Figura, construa a Tabela Verdade para as proposições simples “p” e “q”. 
 
 
Assinale a alternativa correta: 
 
 
Escolha uma opção: 
a. 
 
b. 
 
 
 
 
c. 
 
d. 
 
e. 
 
Questão 5 
Correto 
Atingiu 0,67 de 0,67 
Remover marcação 
Texto da questão 
Os quantificadores se restringem as funções proposicionais, isto é, representam todo um 
determinado conjunto Ω (ômega) ou parte desse conjunto. Isto é, ao definir o conjunto de 
elementos Ω, o domínio de uma função proposicional, incluindo a esta os quantificadores, 
obtendo assim, uma proposição, ou seja, uma sentença declarativa que pode receber 
atribuição de um valor lógico VERDADEIRO (V) ou FALSIDADE (F). 
 
BISPO, C. A. F.; CASTANHEIRA, L. B.; SOUZA FILHO, O. M. Introdução à Lógica 
Matemática. Cengage Learning, 2011. 
 
Considerando o contexto apresentado, é correto o que se afirma em: 
Escolha uma opção: 
a. Quantificador universal e existencial. 
b. Quantificador aleatório e existencial. 
c. Quantificador experimental e existencial. 
d. Quantificador universal e experimental. 
e. Quantificador universal e aleatório. 
Questão 6 
Correto 
Atingiu 0,67 de 0,67 
Remover marcaçã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. 
 
Assinale a alternativa que apresenta corretamente estas características. 
Escolha uma opção: 
a. Estóica e Megárica 
b. Paracompleta e Paraconsistente 
c. Clássica e Não Clássica 
d. Aristotélica e Estóica 
e. Booleana e Paraconsistente 
Questão 7 
Correto 
Atingiu 0,67 de 0,67 
Remover marcaçã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. Modus Tollens. 
b. Indepotência. 
c. Silogismo Disjuntivo. 
d. Silogismo Hipotético. 
e. Modus Ponens. 
Questão 8 
Incorreto 
Atingiu 0,00 de 0,67 
Remover marcação 
Texto da questão 
De forma geral, ao tratar sobre lógica, está sendo tomado como referência a lógica formal, 
clássica, ortodoxa ou aristotélica. Isto posto, as proposições, ou sentenças declarativas 
são restritas a atribuição de um e apenas um, dentre dois valores lógicos V ou F. Tal 
suposição bivalente ou dicotômica é baseada nos princípios da lógica clássica, 
especificamente, nos princípios da não contradição e do terceiro excluído. Todavia, as 
limitações impostas pelos princípios fundamentais da lógica restringem a solução de 
problemas dando origem às lógicas não clássicas. 
 
DA COSTA, N. C. A. Lógica indutiva e probabilidade. 2. ed. São Paulo: Hucitec, 1993. 
 
Considerando as informações apresentadas, analise as afirmativas a seguir: 
 
I. Consiste em um dos objetivos das lógicas não clássicas estender o alcance de resolução de 
problemas da lógica clássica. 
II. São tipos de lógicas não clássicas: modais, alternativas e paraconsistentes. 
III. A primeira tentativa de organizar e axiomatizar a lógica modal é atribuído a Clarence Irving 
Lewis em 1918. 
IV. É considerado o criador da lógica paraconsistente o matemático brasileiro Newton C.A da 
Costa. 
 
Considerando o contexto apresentado, é correto o que se afirma em: 
Escolha uma opção: 
a. I e II, apenas. 
b. I, apenas. 
c. III e IV, apenas. 
d. I, II e IV, apenas. 
e. I, II, III e IV. 
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/ “impossível” e É necessário que/ “necessariamente”. 
b. É possível que/ “possivelmente” e É desnecessário que/ “desnecessariamente”. 
c. É impossível que/ “possivelmente” e É necessário que/ “necessariamente”. 
d. É possível que/ “possivelmente” e É necessário que/ “necessariamente”. 
e. É possível que/ “impossível” e É desnecessário que/ “desnecessariamente”. 
Questão 10 
Incorreto 
Atingiu 0,00 de 0,68 
Remover marcaçã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, apenas. 
b. I, II, III e IV. 
c. I, II e IV, apenas. 
d. I e II, apenas. 
e. III e IV, apenas. 
Questão 11 
Correto 
Atingiu 0,67 de 0,67 
Marcar questão 
Texto da questão 
Um argumento representa um conjunto de “n”_____________, ou fórmulas, sendo que uma é 
a consequência (conclusão), isto é, deriva das premissas (outras). Sendo assim, as 
premissas são notadas como Pi, na qual, i = 1, 2, 3, ..., (n-1) e a conclusão é “C”. 
 
MORTARI, C. A. Introdução à Lógica. São Paulo: Editora UNESP: Imprensa Oficial do 
Estado, 2001. 
 
Assinale a alternativa que preenche a lacuna do texto corretamente: 
Escolha uma opção: 
a. Proposições 
b. Predicados 
c. Refutações 
d. Argumentos 
e. Asserção 
Questão 12 
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 13 
IncorretoAtingiu 0,00 de 0,67 
Marcar questão 
Texto da questão 
Sendo p(x) uma sentença aberta em um conjunto A, o símbolo ∀, referindo-se à variável x 
representa uma operação lógica que modifica a sentença aberta p(x) em uma proposição, 
V ou F, conforme p(x) expressa ou não uma condição universal no conjunto A. Tal 
operação é denominada de quantificação universal e o símbolo ∀ significa quantificador 
universal. Seja o conjunto de números inteiros Z e considere as seguintes funções 
proposições: 
 
p: x–7>3�–7>3. 
q: x2–5x+6=0�2–5�+6=0. 
 
ALENCAR FILHO, E. Iniciação à Lógica Matemática. São Paulo: Nobel, 2002. 
 
Considerando as informações apresentadas, analise as afirmativas a seguir: 
 
I. É possível verificar que “p” é V para valores superiores a 10. 
II. A proposição “q” é F para valores diferentes de 2 e 3. 
III. A proposição “q” é V para as raízes x1=3 e x2=3. 
IV. ∀x(x∈Z,x–7>3)∀�(�∈�,�–7>3), possui valor lógico F. 
 
Considerando o contexto apresentado, é correto o que se afirma em: 
Escolha uma opção: 
a. I, II, III e IV. 
b. I e II, apenas. 
c. I, II e III, apenas. 
d. I, apenas. 
e. I, II e IV, apenas. 
Questão 14 
Correto 
Atingiu 0,67 de 0,67 
Remover marcaçã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 Raciocínio 
b. Estrutura do Conhecimento. 
c. Estrutura das Possibilidades. 
d. Estrutura da Moral. 
e. Estrutura do Pensamento. 
Questão 15 
Correto 
Atingiu 0,67 de 0,67 
Remover marcação 
Texto da questão 
As Tabelas Verdade consistem em um método semântico para validação de argumentos com 
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. 16 
b. 8 
c. 4 
d. 32 
e. 64