CLIQUE AQUI_ AVALIAÇÃO ONLINE AVUNICVR2

Prévia do material em texto

01/11/2023, 13:01 CLIQUE AQUI: AVALIAÇÃO ONLINE AVUNICVR2
https://moodle.ead.unifcv.edu.br/mod/quiz/review.php?attempt=3148529 1/12
Painel / Meus cursos / Raciocínio Lógico (Matemática - UniCV R2) / 📋 AVALIAÇÃO ON-LINE / CLIQUE AQUI: AVALIAÇÃO ONLINE AVUNICVR2
Iniciado em quarta, 1 nov 2023, 11:40
Estado Finalizada
Concluída em quarta, 1 nov 2023, 12:55
Tempo
empregado
1 hora 15 minutos
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
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. Cálculo Proposicional
d. Método semântico 
e. Predicado
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
01/11/2023, 13:01 CLIQUE AQUI: AVALIAÇÃO ONLINE AVUNICVR2
https://moodle.ead.unifcv.edu.br/mod/quiz/review.php?attempt=3148529 2/12
Questão 2
Incorreto
Atingiu 0,00 de 0,67
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. Todas as alternativas estão corretas. 
b. Apenas I, II e III estão corretas.
c. Apenas I e III estão corretas.
d. Apenas I e IV estão corretas.
e. Apenas I e II estão corretas.
Questão 3
Correto
Atingiu 0,67 de 0,67
Sabendo que uma proposição é 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 (adaptado).
Atribua o valor lógico Verdadeiro (V) ou Falsidade (F):
( ) A Lua é um satélite natural da Terra.
( ) Recife é a capital de Pernambuco.
( ) √144<√25.
( ) O grafeno é mais leve que o aço.
( ) O Brasil está situado na Oceania.
Assinale a alternativa que apresenta a sequência correta em relação aos valores lógicos atribuídos:
Escolha uma opção:
a. F-V-V-V-F;
b. V-F-V-F-V;
c. V-V-F-V-V.
d. F-V-V-F-F;
e. V-V-F-V-F; 
01/11/2023, 13:01 CLIQUE AQUI: AVALIAÇÃO ONLINE AVUNICVR2
https://moodle.ead.unifcv.edu.br/mod/quiz/review.php?attempt=3148529 3/12
Questão 4
Incorreto
Atingiu 0,00 de 0,67
Os ramos da árvore de refutação (Tablô Semântico) são desenvolvidos aplicando as nove regras de construção do tablô semântico até que em cada
ramificação reste apenas uma proposição simples (p, q, r,...) ou a negação de uma proposição simples (⁓p, ⁓q, ⁓r,...). Posto isso, considere a seguinte
proposição:
 “(p ˄ q) → (p ˅ q)”
BISPO, C. A. F.; CASTANHEIRA, L. B.; SOUZA FILHO, O. M. Introdução à Lógica Matemática. Cengage Learning, 2011 (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. 
01/11/2023, 13:01 CLIQUE AQUI: AVALIAÇÃO ONLINE AVUNICVR2
https://moodle.ead.unifcv.edu.br/mod/quiz/review.php?attempt=3148529 4/12
Questão 5
Correto
Atingiu 0,67 de 0,67
De acordo com Alencar Filho (2003) uma contradição é toda proposição composta P(p, q, r,...) cuja última coluna da Tabela Verdade reste somente o
valor lógico FALSIDADE (F). Além disso, é dito ser uma contradição toda proposição composta P(p, q, r,...) cujo valor lógico é sempre F independente
dos valores lógicos das proposições atômicas (p, q, r,...).
ALENCAR FILHO, E. Iniciação à Lógica Matemática. São Paulo: Nobel, 2002 (adaptado).
Construa a seguinte Tabela Verdade:
Assinale a alternativa que contenha a construção correta da Tabela Verdade:
Escolha uma opção:
a. 
b. 
c. 
d. 
e. 
Questão 6
Correto
Atingiu 0,67 de 0,67
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. Asserções.
b. Argumentos.
c. Refutações.
d. Predicados.
e. Proposições. 
i
01/11/2023, 13:01 CLIQUE AQUI: AVALIAÇÃO ONLINE AVUNICVR2
https://moodle.ead.unifcv.edu.br/mod/quiz/review.php?attempt=3148529 5/12
Questão 7
Correto
Atingiu 0,67 de 0,67
Árvores de Refutação ou Tablôs Semânticos é um método indireto utilizado para verificar a validade ou invalidade de determinado argumento, ou
determinar se alguma fórmula é consequência lógica, ou não, de algum conjunto de fórmulas. Além disso, tal método precisa respeitar algumas regras
derivadas das implicações tautológicas. 
A esse respeito, analise o quadro a seguir:
MORTARI, C. A. Introdução à Lógica. São Paulo: Editora UNESP: Imprensa Oficial do Estado, 2001 (adaptado).
Assinale a alternativa que corresponde às árvores de refutação (a), (b), (c), de acordo com as regras do Tablôs semânticos.
Escolha uma opção:
a. RBD; RCD; RDJ.
b. RNDJ; RNBC; RNCJ.
c. RBD; RCJ; RNDJ. 
d. RNCJ; RDN; RBD.
e. RCJ ; RDN; RCD.
01/11/2023, 13:01 CLIQUE AQUI: AVALIAÇÃO ONLINE AVUNICVR2
https://moodle.ead.unifcv.edu.br/mod/quiz/review.php?attempt=3148529 6/12
Questão 8
Correto
Atingiu 0,67 de 0,67
Para determinar o valor lógico VERDADEIRO (V) ou FALSIDADE (F) de uma proposição composta (P, Q, R,...) utiliza-se um método semântico
(instrumento) conhecido como Tabela Verdade cujo objetivo consiste em assegurar que todas as combinações possíveis dos valores verdade de cada
proposição simples (p, q, r,...) foram concluídas.
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 dos conectivos proposicionais “˄”; “˅”, “˅” “→”, “↔”, “⁓”:
Assinale a alternativa que contenha a construção correta da Tabela Verdade dos conectivos proposicionais.
Escolha uma opção:
a. 
b. 
c. 
d. 
e. 
01/11/2023, 13:01 CLIQUE AQUI: AVALIAÇÃO ONLINE AVUNICVR2
https://moodle.ead.unifcv.edu.br/mod/quiz/review.php?attempt=3148529 7/12
Questão 9
Correto
Atingiu 0,67 de 0,67
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 (adaptado).
Construa a Tabela Verdade da Conjunção para as proposições simples “p” e “q”:
Assinale a alternativa que contenha a construção correta da Tabela Verdade da Conjunção “˄”.
Escolha umaopção:
a. 
b. 
c. 
d. 
e. 
01/11/2023, 13:01 CLIQUE AQUI: AVALIAÇÃO ONLINE AVUNICVR2
https://moodle.ead.unifcv.edu.br/mod/quiz/review.php?attempt=3148529 8/12
Questão 10
Correto
Atingiu 0,67 de 0,67
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. Absorção
b. Silogismos 
c. Predicados
d. Algoritmo
e. Abdução
Questão 11
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. Premissas; conclusão; premissas; conclusão. 
d. Apagoges; antecedente; consequentes; apagoge.
e. Conclusões; premissa; conclusões; premissa.
01/11/2023, 13:01 CLIQUE AQUI: AVALIAÇÃO ONLINE AVUNICVR2
https://moodle.ead.unifcv.edu.br/mod/quiz/review.php?attempt=3148529 9/12
Questão 12
Correto
Atingiu 0,67 de 0,67
De acordo com as regras da consequência lógica são aplicadas implicações e equivalências lógicas. Por sua vez, é adotada uma proposição composta
tal (P, Q, R,...) e organizada na forma do argumento para realizar a validação:
1. (P )
2. (P )
...
(n-1).P
n. ∴ C
MORTARI, C. A. Introdução à Lógica. São Paulo: Editora UNESP: Imprensa Oficial do Estado, 2001 (adaptado).
Considere a seguinte proposição “P(p, q, r)”:
P: “Se tivesse tempo, iria ao teatro. Se fosse ao teatro, me encontraria com Juliette. Não tenho tempo. Portanto, não me encontrarei com Juliette”
Traduza para a forma simbólica e organize na forma do argumento.
Assinale a alternativa correta:
Escolha uma opção:
a.
1. p → r P1
2. r → q P2
3. ⁓q P3
4. ∴ ⁓p C
b.
1. p ↔ q P1
2. q → r P2
3. p P3
4. ∴ r C
c.
1. p → q P1
2. q → r P2
3. ⁓p P3
4. ∴ ⁓r C

d.
1. q → p P1
2. p → r P2
3. ⁓p P3
4. ∴ ⁓r C
e.
1. p → q P1
2. p ↔ r P2
3. ⁓p P3
4. ∴ r C
1
2
n-1
01/11/2023, 13:01 CLIQUE AQUI: AVALIAÇÃO ONLINE AVUNICVR2
https://moodle.ead.unifcv.edu.br/mod/quiz/review.php?attempt=3148529 10/12
Questão 13
Correto
Atingiu 0,67 de 0,67
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 sendo, 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 (adaptado).
Construa a Tabela Verdade da Condicional para as proposições simples “p” e “q”:
Assinale a alternativa que contenha a construção correta da Tabela Verdade da Condicional “→ ”.
Escolha uma opção:
a. 
b. 
c. 
d. 
01/11/2023, 13:01 CLIQUE AQUI: AVALIAÇÃO ONLINE AVUNICVR2
https://moodle.ead.unifcv.edu.br/mod/quiz/review.php?attempt=3148529 11/12
e. 
Questão 14
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. q ↔ 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
d.
1. p ˄ s → r P1
2. ⁓(q ˄ ⁓p) P2
3. s P3
4. ∴ q → r C

e.
1. ⁓p ˅ (s ˄ r) P1
2. ⁓(q ˄ ⁓p) P2
3. r P3
4. ∴ q → r C
01/11/2023, 13:01 CLIQUE AQUI: AVALIAÇÃO ONLINE AVUNICVR2
https://moodle.ead.unifcv.edu.br/mod/quiz/review.php?attempt=3148529 12/12
Questão 15
Incorreto
Atingiu 0,00 de 0,68
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. Apenas I e II estão corretas. 
b. Apenas I, II e III estão corretas.
c. Apenas I está correta.
d. Todas as alternativas estão corretas.
e. Apenas I, II e IV estão corretas.
1 2 3 n-1