Prova de Raciocínio Lógico - AVP2023/1

Prévia do material em texto

Painel / Meus cursos / Raciocínio Lógico / Atividades e Avaliações (período 2023/1)
/ PROVA PRESENCIAL - ONLINE AVP2023/1
Iniciado em domingo, 26 mar 2023, 11:18
Estado Finalizada
Concluída em domingo, 26 mar 2023, 12:00
Tempo
empregado
42 minutos 26 segundos
Avaliar 4,00 de um máximo de 6,00(67%)
PROVA PRESENCIAL - ONLINE AVP2023/1 https://moodle.ead.unifcv.edu.br/mod/quiz/review.php?attempt=2445099
1 of 19 26/03/2023, 12:01
Questão 1
Correto
Atingiu 0,40 de 0,40
A aplicação da lógica material aristotélica é sobre o pensamento, à metodologia de cada
ciência e ao mundo real. Dessa forma, quando pesquisamos, estudamos um objeto e
formulamos construções cognitivas sobre o objeto de estudo, ou seja, verdades ou
falsidades, confrontadas por uma lógica dita material.
BARBOSA, M. A. Introdução à Lógica Matemática para acadêmicos. 1ª Ed. Curitiba:
InterSaberes, 2017 (adaptado).
A esse respeito, analise as afirmações abaixo:
I – Agrega o princípio das possibilidades.
II – Valida os raciocínios por meio de estruturas linguísticas criadas por regras próprias
seguindo o raciocínio matemático.
III – O objetivo é analisar os raciocínios em relação aos discursos, misturando-se à lógica
dos argumentos.
IV – Associada à moral, aos direitos, às obrigações, às proibições (e.g.; “Se você é obrigado
a pagar impostos, então é proibido de sonegar”).
De acordo com a lógica material, assinale a alternativa correta:
Escolha uma opção:
a. Apenas I e IV estão corretas.
b. Apenas I e III estão corretas.
c. Apenas I, II e III estão corretas.
d. Todas as alternativas estão corretas.
e. Apenas I e II estão corretas.
PROVA PRESENCIAL - ONLINE AVP2023/1 https://moodle.ead.unifcv.edu.br/mod/quiz/review.php?attempt=2445099
2 of 19 26/03/2023, 12:01
Questão 2
Correto
Atingiu 0,40 de 0,40
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.
d. Conjunção; Disjunção Inclusiva; Condicional; Negação.
e. Negação; Disjunção Inclusiva; Bicondicional; Negação.
PROVA PRESENCIAL - ONLINE AVP2023/1 https://moodle.ead.unifcv.edu.br/mod/quiz/review.php?attempt=2445099
3 of 19 26/03/2023, 12:01
Questão 3
Correto
Atingiu 0,40 de 0,40
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:
a. Apagoges; antecedente; consequentes; apagoge.
b. Premissas; conclusão; premissas; conclusão.
c. Antecedentes; premissa; consequentes; antecedente.
d. Conclusões; premissa; conclusões; premissa.
e. Consequentes; premissa; conclusões; antecedente.
PROVA PRESENCIAL - ONLINE AVP2023/1 https://moodle.ead.unifcv.edu.br/mod/quiz/review.php?attempt=2445099
4 of 19 26/03/2023, 12:01
Questão 4
Correto
Atingiu 0,40 de 0,40
A Lógica Matemática, denominada também de Lógica Simbólica, trata do discurso da
linguagem corrente e seus enunciados sendo desenvolvida por meio de simbologia
matemática com o objetivo de compreender a estrutura lógica das ___________,
___________ e desenvolvimento lógico-matemático.
BARBOSA, M. A. Introdução à Lógica Matemática para acadêmicos. 1ª Ed. Curitiba:
InterSaberes, 2017 (adaptado).
Assinale a alternativa cujas respostas preenchem corretamente e respectivamente as
lacunas do texto:
Escolha uma opção:
a. Proposições; Silogismos.
b. Sentenças Afirmativas; Proposições.
c. Sentenças Exclamativas; Sentenças Interrogativas.
d. Proposições; argumentos.
e. Sentenças Declarativas; Argumentos.
PROVA PRESENCIAL - ONLINE AVP2023/1 https://moodle.ead.unifcv.edu.br/mod/quiz/review.php?attempt=2445099
5 of 19 26/03/2023, 12:01
Questão 5
Incorreto
Atingiu 0,00 de 0,40
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:
a.
b.
PROVA PRESENCIAL - ONLINE AVP2023/1 https://moodle.ead.unifcv.edu.br/mod/quiz/review.php?attempt=2445099
6 of 19 26/03/2023, 12:01
c.
d.
e.
PROVA PRESENCIAL - ONLINE AVP2023/1 https://moodle.ead.unifcv.edu.br/mod/quiz/review.php?attempt=2445099
7 of 19 26/03/2023, 12:01
Questão 6
Incorreto
Atingiu 0,00 de 0,40
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. 
d. 
PROVA PRESENCIAL - ONLINE AVP2023/1 https://moodle.ead.unifcv.edu.br/mod/quiz/review.php?attempt=2445099
8 of 19 26/03/2023, 12:01
e. 
Questão 7
Incorreto
Atingiu 0,00 de 0,40
De acordo com Alencar Filho (2003) é possível construir uma Tabela Verdade referente a
qualquer proposição composta P(p, q, r,...) assumindo que o seu valor lógico (V ou F)
depende dos valores lógicos das proposições simples atômicas (p, q, r, ...).
ALENCAR FILHO, E. (2002). Iniciação à lógica matemática. São Paulo: Nobel, 2002
(adaptado).
Considere a proposição:
P: “Se D. Pedro proclamou a independência e D. João expropriou o lastro de ouro do Banco
do Brasil, então o Brasil contraiu dívida com o Banco da Inglaterra”
Traduza da linguagem comum para a simbólica a proposição composta “P”:
Assinale a alternativa correta:
Escolha uma opção:
a. p ↔ q ˅ r
b. p ˅ q → r
c. p ˅ (q ˄ r)
d. p ˄ q → r
e. ⁓p ˅ q ↔ r
PROVA PRESENCIAL - ONLINE AVP2023/1 https://moodle.ead.unifcv.edu.br/mod/quiz/review.php?attempt=2445099
9 of 19 26/03/2023, 12:01
Questão 8
Incorreto
Atingiu 0,00 de 0,40
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. “q ↔ p”; “⁓(p ˄ ⁓p)”; “p ˅ ⁓p”.
b. “⁓(p ˄ ⁓p)”; “((p ˅ q) ˄ ⁓p) → q”; “p → q”.
c. “⁓(p ˄ ⁓p)”; “p ˅ ⁓p”; “q ↔ p”.
d. “p → p”; “⁓(p ˄ ⁓p)”; “p ˅ ⁓p”.
e. “p ↔ ⁓⁓p” “p → p”; “⁓(p ˄ ⁓p)”.
PROVA PRESENCIAL - ONLINE AVP2023/1 https://moodle.ead.unifcv.edu.br/mod/quiz/review.php?attempt=2445099
10 of 19 26/03/2023, 12:01
Questão 9
Correto
Atingiu 0,40 de 0,40
O método da suposição estabelecido por Stanislaw Lesniewski (1886-1939), umfilósofo e
matemático polonês, foi transformado em técnica pelo lógico polonês Stanisław Jaśkowski e
aperfeiçoado por Jacques Herbrand (1930) e Alfred Tarski (1936) dando origem ao Teorema
da Dedução.
HEGENBERG, L. Dicionário de Lógica. São Paulo: EPU, 1995 (adaptado).
Sendo assim, considere as seguintes proposições:
p ˄ s → r; ⁓ (q ˄ ⁓p); s ; q → r
Organize na forma do argumento e assinale a alternativa correta:
Escolha uma opção:
a.
1. ⁓p ˄ s ↔ r P1
2. (q ˄ ⁓p) P2
3. ⁓s P3
4. ∴ q → r C
b.
1. p ˅ s → r P1
2. (q ˄ p) P2
3. ⁓s P3
4. ∴ q → r C
c.
1. p ˄ s → r P1
2. ⁓(q ˄ ⁓p) P2
3. s P3
4. ∴ q → r C
PROVA PRESENCIAL - ONLINE AVP2023/1 https://moodle.ead.unifcv.edu.br/mod/quiz/review.php?attempt=2445099
11 of 19 26/03/2023, 12:01
d.
1. ⁓p ˅ (s ˄ r) P1
2. ⁓(q ˄ ⁓p) P2
3. r P3
4. ∴ q → r C
e.
1. q ↔ s ˄ r P1
2. q → ⁓p P2
3. s P3
4. ∴ q → r C
Questão 10
Correto
Atingiu 0,40 de 0,40
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 P , 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. Argumentos.
b. Predicados.
c. Asserções.
d. Refutações.
e. Proposições. 
i
PROVA PRESENCIAL - ONLINE AVP2023/1 https://moodle.ead.unifcv.edu.br/mod/quiz/review.php?attempt=2445099
12 of 19 26/03/2023, 12:01
Questão 11
Correto
Atingiu 0,40 de 0,40
A lógica aristotélica pode ser interpretada como a ciência do julgamento dividindo a lógica
em ______ e ______. Dessa forma, a lógica _________ ou simbólica, 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 (adaptado).
Assinale a alternativa cujas respostas preenchem corretamente e respectivamente as
lacunas do texto:
Escolha uma opção:
a. Formal; Fuzzy, material.
b. Fuzzy; material; formal.
c. Material; não clássica; material.
d. Paraconsistente; paracompleta; Fuzzy.
e. Formal; material; formal.
PROVA PRESENCIAL - ONLINE AVP2023/1 https://moodle.ead.unifcv.edu.br/mod/quiz/review.php?attempt=2445099
13 of 19 26/03/2023, 12:01
Questão 12
Incorreto
Atingiu 0,00 de 0,40
De acordo com Mortari (2001), 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. Posto isso, é dito que as contradições fazem uma descrição do
mundo, ou seja, reflete melhor o mundo real.
MORTARI, C. A. Introdução à Lógica. São Paulo: Editora UNESP: Imprensa Oficial do
Estado, 2001 (adaptado).
Construa a seguinte Tabela Verdade:
Assinale a alternativa que contenha a construção correta da Tabela Verdade:
Escolha uma opção:
a. 
b. 
PROVA PRESENCIAL - ONLINE AVP2023/1 https://moodle.ead.unifcv.edu.br/mod/quiz/review.php?attempt=2445099
14 of 19 26/03/2023, 12:01
c. 
d. 
e. 
PROVA PRESENCIAL - ONLINE AVP2023/1 https://moodle.ead.unifcv.edu.br/mod/quiz/review.php?attempt=2445099
15 of 19 26/03/2023, 12:01
Questão 13
Correto
Atingiu 0,40 de 0,40
A história da lógica começa com as contribuições do filósofo grego Aristóteles (384-322 a.
C.) não tendo sido encontrado evidências de contribuições anteriores. Sendo assim, a lógica
formal surge com Aristóteles na concepção de instrumentos do pensamento (Órganon).
Para Aristóteles, como era denominado o raciocínio dedutivo?
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 contém uma das principais contribuições aristotélicas para a
lógica.
Escolha uma opção:
a. Predicados
b. Abdução
c. Silogismos
d. Algoritmo
e. Absorção
PROVA PRESENCIAL - ONLINE AVP2023/1 https://moodle.ead.unifcv.edu.br/mod/quiz/review.php?attempt=2445099
16 of 19 26/03/2023, 12:01
Questão 14
Correto
Atingiu 0,40 de 0,40
É 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. Exportação
b. Associação
c. Importação
d. Regras de inferência
e. Comutação
PROVA PRESENCIAL - ONLINE AVP2023/1 https://moodle.ead.unifcv.edu.br/mod/quiz/review.php?attempt=2445099
17 of 19 26/03/2023, 12:01
Questão 15
Correto
Atingiu 0,40 de 0,40
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 (adaptado).
Construa a Tabela Verdade da Disjunção Inclusiva para as proposições simples “p” e “q”:
Assinale a alternativa que contenha a construção correta da Tabela Verdade da Disjunção
Inclusiva “˅ ”.
Escolha uma opção:
a. 
PROVA PRESENCIAL - ONLINE AVP2023/1 https://moodle.ead.unifcv.edu.br/mod/quiz/review.php?attempt=2445099
18 of 19 26/03/2023, 12:01
b. 
c. 
d. 
e. 
PROVA PRESENCIAL - ONLINE AVP2023/1 https://moodle.ead.unifcv.edu.br/mod/quiz/review.php?attempt=2445099
19 of 19 26/03/2023, 12:01