AVALIAÇÃO DE LÓGICA

Prévia do material em texto

AVALIAÇÃO DE LÓGICA
	Avaliar
	6,00 de um máximo de 10,00(60%)
Parte superior do formulário
Questão 1
Correto
Atingiu 1,00 de 1,00
Remover marcaçã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: Inter Saberes, 2017.
Assinale a alternativa cujas respostas preenchem corretamente as lacunas:
Escolha uma opção:
a. Paraconsistente e Para completa.
b. Material e não clássica.
c. Fuzzy e Material.
d. Formal e material. 
e. Formal e Fuzzy.
Feedback
Sua resposta está correta.
Questão 2
Incorreto
Atingiu 0,00 de 1,00
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.  letra E está errada
Feedback
Sua resposta está incorreta.
Questão 3
Correto
Atingiu 1,00 de 1,00
Remover marcaçã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. Modus Tollens (MT); Conjunção (CONJ).
b. Modus Ponens (MP); Modus Tollens (MT). 
c. Simplificação (SIMP); Conjunção (CONJ).
d. Conjunção (CONJ); Modus Tollens (MT).
e. Modus Ponens (MP); Absorção (ABS).
Feedback
Sua resposta está correta.
Questão 4
Incorreto
Atingiu 0,00 de 1,00
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.  Letra A está errada
b. 
c. 
d. 
e. 
Feedback
Sua resposta está incorreta.
Questão 5
Incorreto
Atingiu 0,00 de 1,00
Remover marcaçã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>3x–7>3.
q: x2–5x+6=0x2–5x+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)∀x(x∈Z,x–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, apenas.
c. I, II e IV, apenas. errada
d. I, II e III, apenas.
e. I e II, apenas.
Feedback
Sua resposta está incorreta.
Questão 6
Correto
Atingiu 1,00 de 1,00
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. Regras de inferência 
b. Comutação
c. Associação
d. Importação
e. Exportação
Feedback
Sua resposta está correta.
Questão 7
Correto
Atingiu 1,00 de 1,00
Marcar questão
Texto da questão
A lógica apresenta várias vertentes de pensamento, entre elas está à lógica não clássica. Sendo assim, A lógica não clássica, conhecidas como alternativas ou anticlássicas são formas de lógicas que violam pelo menos um dos três princípios fundamentais (ou axiomas) da lógica clássica.
MORTARI, C. A. Introdução à Lógica. São Paulo: Editora UNESP: Imprensa Oficial do Estado, 2001.
Considerando as informações apresentadas, analise as afirmativas a seguir:
I. Todo objeto é idêntico a si mesmo.
II. Toda proposição admite um e somente um valor lógico verdadeiro (V) ou falsidade (F) por vez.
III. Mesmo conhecendo as informações necessárias sobre a situação, dizer algo entre “pode ser” ao invés de “é” ou “não é” se torna mais conveniente.
IV. Toda proposição ou é verdadeiro (V) ou é falsidade (F) nunca assume um terceiro valor lógico.
Referente aos princípios da lógica aristotélica ou clássica, é correto o que se afirma em:
Escolha uma opção:
a. I, II, III e IV.
b. I, II e III, apenas.
c. I, II e IV, apenas. 
d. I, apenas.
e. I e II, apenas.
Feedback
Sua resposta está correta.
Questão 8
Incorreto
Atingiu 0,00 de 1,00
Remover marcação
Texto da questão
Uma expectativa inerente aos sistemas lógicos é a da consistência, isto é, de não violar o princípio da não contradição. cuja definição é de que não é possível atribuir à uma proposição qualquer “p” os valores lógicos verdadeiro e falso simultaneamente, tornando o sistema inconsistente. Surge assim, a concepção das lógicas paraconsistentes cujo principal expoente é o professor Newton C. A da Costa. Dessa forma, da Costa (1993) construiu uma hierarquia de cálculo proposicionais Cw,1≤n≤wCw,1≤n≤w para satisfazer basicamente as condições:
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. O Princípio da não contradição ~(p ˄ ~p) deve ser válido no geral.
II. De duas premissas contraditórias deve ser possível, em geral, deduzir-se qualquer conclusão, ou seja, “p”, “~p Ͱ q”.
III. Todos os esquemas e regras da lógica clássica que forem compatíveis com as duas primeiras devem ser preservadas.
IV. Denotando de C0C0 o cálculo proposicional clássico se obtém a seguinte hierarquia de cálculos:
C0,C1,C2,...,Cn,…,CwC0,C1,C2,...,Cn,…,Cw
Considerando o contexto apresentado, é correto o que se afirma em:
Escolha uma opção:
a. I, II e IV, apenas. Errada
b. I, II, III e IV.
c. III e IV, apenas.
d. I, apenas.
e. I e II, apenas.
Feedback
Sua resposta está incorreta.
Questão 9
Correto
Atingiu 1,00 de 1,00
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 2n2n, (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ãocaiu”.
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. Silogismo Hipotético.
c. Silogismo Disjuntivo.
d. Modus Ponens.
e. Modus Tollens. 
Feedback
Sua resposta está correta.
Questão 10
Correto
Atingiu 1,00 de 1,00
Remover marcaçã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. 
certa
b.
c.
d.
e.
Feedback
Sua resposta está correta.
Parte inferior do formulário
image5.png
image6.png
image7.png
image8.png
image9.png
image10.png
image11.png
image12.png
image13.png
image14.png
image15.png
image16.png
image17.png
image18.png
image19.png
image1.png
image2.png
image3.png
image4.png