Avaliação de Raciocínio Logico UniCV

Prévia do material em texto

Painel / Meus cursos / Raciocínio Lógico (Matemática - UniCV R2) / 📋 AVALIAÇÃO ON-LINE
/ CLIQUE AQUI: AVALIAÇÃO ONLINE AVUNICVR2
Iniciado em quinta, 13 jun 2024, 17:40
Estado Finalizada
Concluída em quinta, 13 jun 2024, 18:08
Tempo
empregado
27 minutos 40 segundos
Notas 10,00/10,00
Avaliar 10,00 de um máximo de 10,00(100%)
Questão 1
Correto
Atingiu 0,67 de 0,67
Na Lógica Clássica se tem as contribuições do filósofo grego Aristóteles (384-322 a. C.). Sendo
assim, na lógica aristotélica pode ser dividida em formal e material. A lógica formal 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.
BISPO, C. A. F.; CASTANHEIRA, L. B.; SOUZA FILHO, O. M. Introdução à Lógica
Matemática. Cengage Learning, 2011 (adaptado).
Assinale a alternativa cujas respostas são estruturas de lógicas formais:
Escolha uma opção:
a. Lógica Paraconsistente; Lógica Matemática; Lógica de Programação.
b. Lógica Modal; Lógica Epistêmica; Lógica Deôntica.
c. Lógica Proposicional; Lógica Paracompleta; Lógica Modal.
d. Lógica Fuzzy; Lógica Proposicional; Lógica Deôntica.
e. Lógica de Programação; Lógica Matemática; Lógica Proposicional. 
13/06/2024, 18:08 CLIQUE AQUI: AVALIAÇÃO ONLINE AVUNICVR2
https://moodle.ead.unifcv.edu.br/mod/quiz/review.php?attempt=4035563 1/16
https://moodle.ead.unifcv.edu.br/my/
https://moodle.ead.unifcv.edu.br/my/
https://moodle.ead.unifcv.edu.br/course/view.php?id=3929
https://moodle.ead.unifcv.edu.br/course/view.php?id=3929#section-3
https://moodle.ead.unifcv.edu.br/mod/quiz/view.php?id=74674
Questão 2
Correto
Atingiu 0,67 de 0,67
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. Sentenças Exclamativas; Sentenças Interrogativas.
b. Proposições; Silogismos.
c. Sentenças Declarativas; Argumentos.
d. Proposições; argumentos. 
e. Sentenças Afirmativas; Proposições.
13/06/2024, 18:08 CLIQUE AQUI: AVALIAÇÃO ONLINE AVUNICVR2
https://moodle.ead.unifcv.edu.br/mod/quiz/review.php?attempt=4035563 2/16
Questão 3
Correto
Atingiu 0,67 de 0,67
A __________ é considerada toda a proposição composta que encerra sua última coluna da
Tabela Verdade apenas com valor lógico VERDADEIRO (V), ou seja, é toda proposição
composta P(p, q, r,...) cujo valor verdade sempre termina em V, independente dos valores
lógicos das proposições simples atômicas (p, q, r,...) (ALENCAR FILHO, 2003).
ALENCAR FILHO, E. (2002). Iniciação à lógica matemática. São Paulo: Nobel, 2002
(adaptado).
Assinale a alternativa que preenche a lacuna corretamente:
Escolha uma opção:
a. Redundância
b. Contradição
c. Tautologia 
d. Contraválida
e. Contingência
13/06/2024, 18:08 CLIQUE AQUI: AVALIAÇÃO ONLINE AVUNICVR2
https://moodle.ead.unifcv.edu.br/mod/quiz/review.php?attempt=4035563 3/16
Questão 4
Correto
Atingiu 0,67 de 0,67
Identificamos que as Tabelas Verdade são um método semântico cujo objetivo é a validação de
argumentos com algumas limitações práticas. Além disso, ao construir tabelas verdade com
mais de duas proposições atômicas se obtêm uma proposição composta P, Q, R, ..., e a última
coluna dessa Tabela Verdade pode ser classificada em Tautologia, Contradição ou
Contingência.
ALENCAR FILHO, E. (2002). Iniciação à lógica matemática. São Paulo: Nobel, 2002
(adaptado).
Sobre isso, analise as afirmativas abaixo:
I – “É considerada uma tautologia toda a proposição composta que encerra sua última coluna
da Tabela Verdade no valor lógico VERDADEIRO (V)”
II – “As tautologias também são consideradas proposições tautológicas ou proposições
logicamente verdadeiras”.
III – “É considerada uma contradição toda proposição composta cuja última coluna restante das
operações lógicas na Tabela Verdade figure ao menos uma vez os valores lógicos V e F”.
IV – “É considerada uma contingência quando na última coluna da Tabela Verdade encerra
apenas com o valor lógico FALSIDADE (F)”.
 
É correto o que se afirma em:
Escolha uma opção:
a. Todas as alternativas estão corretas.
b. Apenas I e II estão corretas. 
c. Apenas I e III estão corretas.
d. Apenas I, II e III estão corretas.
e. Apenas I e IV estão corretas.
13/06/2024, 18:08 CLIQUE AQUI: AVALIAÇÃO ONLINE AVUNICVR2
https://moodle.ead.unifcv.edu.br/mod/quiz/review.php?attempt=4035563 4/16
Questão 5
Correto
Atingiu 0,67 de 0,67
Sabendo que é possível construir uma Tabela Verdade referente a qualquer proposição
composta P(p, q, r,...) dependendo dos valores lógicos (V ou F) das proposições simples
atômicas (p, q, r, ...) (ALENCAR FILHO, 2003). 
ALENCAR FILHO, E. (2002). Iniciação à lógica matemática. São Paulo: Nobel, 2002
(adaptado).
Considere a seguinte proposição:
Q: “A inflação é quase nula, e as taxas de desemprego param de crescer, se e somente se, a
taxa de câmbio não estiver valorizada”.
Traduza a proposição composta “Q” da linguagem comum para a simbólica e assinale a
alternativa correta:
Escolha uma opção:
a. p ˅ ⁓q → r
b. q ˅ p ↔ r
c. ⁓p ˅ ⁓q ↔ r
d. p ˄ q ↔ ⁓r 
e. ⁓p ˅ (q ˄ r)
13/06/2024, 18:08 CLIQUE AQUI: AVALIAÇÃO ONLINE AVUNICVR2
https://moodle.ead.unifcv.edu.br/mod/quiz/review.php?attempt=4035563 5/16
Questão 6
Correto
Atingiu 0,67 de 0,67
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 P ˄ P ˄ P ˄...˄ P .
IV. Se Γ, P ⊢ C, então Γ ⊢ P → C.
É correto o que se afirma em:
Escolha uma opção:
a. Todas as alternativas estão corretas. 
b. Apenas I e II estão corretas.
c. Apenas I, II e III estão corretas.
d. Apenas I está correta.
e. Apenas I, II e IV estão corretas.
1 2 3 n-1
13/06/2024, 18:08 CLIQUE AQUI: AVALIAÇÃO ONLINE AVUNICVR2
https://moodle.ead.unifcv.edu.br/mod/quiz/review.php?attempt=4035563 6/16
Questão 7
Correto
Atingiu 0,67 de 0,67
As lógicas não clássicas, 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: Princípio da
Identidade; Princípio da não contradição e Princípio do Terceiro Excluído. 
BARBOSA, M. A. Introdução à Lógica Matemática para acadêmicos. 1ª Ed. Curitiba:
InterSaberes, 2017 (adaptado).
Sendo assim, assinale a alternativa que contempla apenas tipos de lógica não clássica:
Escolha uma opção:
a. Lógica Paraconsistente; Lógica Modal; Lógica Fuzzy.
b. Lógica Fuzzy; Lógica Paraconsistente; Lógica Paracompleta. 
c. Lógica Fuzzy; Lógica Deôntica; Lógica Paracompleta.
d. Lógica Modal; Lógica Epistêmica; Lógica Paraconsistente.
e. Lógica Deôntica; Lógica Paracompleta; Lógica Matemática.
13/06/2024, 18:08 CLIQUE AQUI: AVALIAÇÃO ONLINE AVUNICVR2
https://moodle.ead.unifcv.edu.br/mod/quiz/review.php?attempt=4035563 7/16
Questão 8
Correto
Atingiu 0,67 de 0,67
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 palavraescrita 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. Estóica e Megárica
b. Booleana e Paraconsistente
c. Aristotélica e Estóica
d. Clássica e Não Clássica 
e. Paracompleta e Paraconsistente
13/06/2024, 18:08 CLIQUE AQUI: AVALIAÇÃO ONLINE AVUNICVR2
https://moodle.ead.unifcv.edu.br/mod/quiz/review.php?attempt=4035563 8/16
Questão 9
Correto
Atingiu 0,67 de 0,67
A Lógica Matemática está associada com a ideia de raciocínio, ou seja, de forma superficial ao
encadeamento dos pensamentos e juízos. Entretanto, a palavra “raciocínio” é utilizada nos
estudos psicológicos e está associada às faculdades mentais. Sendo assim, há uma palavra
que melhor adequa o sentido do raciocínio na Lógica matemática.
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 representa tal palavra:
Escolha uma opção:
a. Raciocínio
b. Pensamento
c. Antilogismo
d. Abstração
e. Argumento 
13/06/2024, 18:08 CLIQUE AQUI: AVALIAÇÃO ONLINE AVUNICVR2
https://moodle.ead.unifcv.edu.br/mod/quiz/review.php?attempt=4035563 9/16
Questão 10
Correto
Atingiu 0,67 de 0,67
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, 2017).
BARBOSA, M. A. Introdução à Lógica Matemática para acadêmicos. 1ª Ed. Curitiba:
InterSaberes, 2017 (adaptado).
 
Assinale a alternativa cuja resposta define a abordagem da lógica formal:
Escolha uma opção:
a. Estrutura do Raciocínio. 
b. Estrutura do Conhecimento.
c. Estrutura do Pensamento.
d. Pensamento Moral.
e. Estrutura das Possibilidades.
13/06/2024, 18:08 CLIQUE AQUI: AVALIAÇÃO ONLINE AVUNICVR2
https://moodle.ead.unifcv.edu.br/mod/quiz/review.php?attempt=4035563 10/16
Questão 11
Correto
Atingiu 0,68 de 0,68
Seguindo as regras de validação indireta de argumentos representados pelas árvores de
refutação ou tablôs semânticos considere a fórmula: “(p ˄ q) → r”.
MORTARI, C. A. Introdução à Lógica. São Paulo: Editora UNESP: Imprensa Oficial do Estado,
2001 (adaptado).
Processe ou reduza a fórmula de acordo com as regras do tablô semântico:
Assinale a alternativa correta:
Escolha uma opção:
a. 
b. 
c. 
d. 
e. 
13/06/2024, 18:08 CLIQUE AQUI: AVALIAÇÃO ONLINE AVUNICVR2
https://moodle.ead.unifcv.edu.br/mod/quiz/review.php?attempt=4035563 11/16
Questão 12
Correto
Atingiu 0,67 de 0,67
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:
a. Sofisma
b. Falácia
c. Método semântico 
d. Predicado
e. Cálculo Proposicional
13/06/2024, 18:08 CLIQUE AQUI: AVALIAÇÃO ONLINE AVUNICVR2
https://moodle.ead.unifcv.edu.br/mod/quiz/review.php?attempt=4035563 12/16
Questão 13
Correto
Atingiu 0,67 de 0,67
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:
a.
1. p ˄ q P1
2. q ↔ r P2
3. ∴ p → ⁓r C
b.
1. ⁓p → q P1
2. q ˅ r P2
3. ∴ ⁓p → r C
c.
1. p → q P1
2. q → r P2
3. ∴ p → r C

d.
1. ⁓p ↔ ⁓q P1
2. ⁓q → r P2
3. ∴ p ˅ r C
e.
1. p ↔ q P1
13/06/2024, 18:08 CLIQUE AQUI: AVALIAÇÃO ONLINE AVUNICVR2
https://moodle.ead.unifcv.edu.br/mod/quiz/review.php?attempt=4035563 13/16
2. ⁓q → r P2
3. ∴ p ˄ r C
Questão 14
Correto
Atingiu 0,67 de 0,67
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. Consequentes; premissa; conclusões; antecedente.
b. Antecedentes; premissa; consequentes; antecedente.
c. Apagoges; antecedente; consequentes; apagoge.
d. Conclusões; premissa; conclusões; premissa.
e. Premissas; conclusão; premissas; conclusão. 
13/06/2024, 18:08 CLIQUE AQUI: AVALIAÇÃO ONLINE AVUNICVR2
https://moodle.ead.unifcv.edu.br/mod/quiz/review.php?attempt=4035563 14/16
Questão 15
Correto
Atingiu 0,67 de 0,67
O método da suposição estabelecido por Stanislaw Lesniewski (1886-1939), um filó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. r P3
4. ∴ q → r C
c.
1. q ↔ s ˄ r P1
2. q → ⁓p P2
3. s P3
4. ∴ q → r C
d.
1. p ˄ s → r P1
2. ⁓(q ˄ ⁓p) P2
3. s P3
4. ∴ q → r C

13/06/2024, 18:08 CLIQUE AQUI: AVALIAÇÃO ONLINE AVUNICVR2
https://moodle.ead.unifcv.edu.br/mod/quiz/review.php?attempt=4035563 15/16
e.
1. p ˅ s → r P1
2. (q ˄ p) P2
3. ⁓s P3
4. ∴ q → r C
13/06/2024, 18:08 CLIQUE AQUI: AVALIAÇÃO ONLINE AVUNICVR2
https://moodle.ead.unifcv.edu.br/mod/quiz/review.php?attempt=4035563 16/16