ATIVIDADE ONLINE 1 - AV12022_4

Prévia do material em texto

08/11/22, 17:51 ATIVIDADE ONLINE 1 - AV12022/4
https://moodle.ead.unifcv.edu.br/mod/quiz/review.php?attempt=2080005 1/12
Painel / Meus cursos / Raciocínio Lógico / Atividades e Avaliações (período 2022/4)
/ ATIVIDADE ONLINE 1 - AV12022/4
Iniciado em terça, 8 nov 2022, 17:07
Estado Finalizada
Concluída em terça, 8 nov 2022, 17:50
Tempo
empregado
43 minutos 33 segundos
Avaliar 1,20 de um máximo de 2,00(60%)
Questão 1
Correto
Atingiu 0,20 de 0,20
Segundo Alencar Filho (2003), para resolver o cálculo proposicional é necessário localizar o
ponto de partida na proposição composta, para tal surge a ordem de precedência dos
respectivos conectivos proposicionais.
 
ALENCAR FILHO, E. (2002). Iniciação à lógica matemática. São Paulo: Nobel, 2002
(adaptado).
 
De acordo com a ordem de precedência, assinale a alternativa que contenha a sequência
correta:
Escolha uma opção:
a. “⁓”; “˄”; “˅”, “→”, “↔”. 
b. “˄”; “˅”; “→”, “↔”; “⁓”.
c. “↔”; “⁓”; “˄”; “˅”; “→”.
d. “→”, “↔”; “⁓”; “˄”; “˅”.
e. “⁓”;“↔”; “⁓”; “˄”; “˅”.
https://moodle.ead.unifcv.edu.br/my/
https://moodle.ead.unifcv.edu.br/course/view.php?id=525
https://moodle.ead.unifcv.edu.br/course/view.php?id=525#section-9
https://moodle.ead.unifcv.edu.br/mod/quiz/view.php?id=31405
08/11/22, 17:51 ATIVIDADE ONLINE 1 - AV12022/4
https://moodle.ead.unifcv.edu.br/mod/quiz/review.php?attempt=2080005 2/12
Questão 2
Incorreto
Atingiu 0,00 de 0,20
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 (adaptado).
 
Diante do exposto, analise o quadro abaixo: 
 
 
Assinale a alternativa que completa corretamente as lacunas do quadro acima: 
Escolha uma opção:
a. Modus Ponens (MP); Modus Tollens (MT).
b. Modus Ponens (MP); Absorção (ABS).
c. Simplificação (SIMP); Conjunção (CONJ).
d. Modus Tollens (MT); Conjunção (CONJ). 
e. Conjunção (CONJ); Modus Tollens (MT).
08/11/22, 17:51 ATIVIDADE ONLINE 1 - AV12022/4
https://moodle.ead.unifcv.edu.br/mod/quiz/review.php?attempt=2080005 3/12
Questão 3
Incorreto
Atingiu 0,00 de 0,20
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. 
c. 
08/11/22, 17:51 ATIVIDADE ONLINE 1 - AV12022/4
https://moodle.ead.unifcv.edu.br/mod/quiz/review.php?attempt=2080005 4/12
d. 
e. 
08/11/22, 17:51 ATIVIDADE ONLINE 1 - AV12022/4
https://moodle.ead.unifcv.edu.br/mod/quiz/review.php?attempt=2080005 5/12
Questão 4
Correto
Atingiu 0,20 de 0,20
Uma contingência é toda proposição composta P(p, q, r,...) que não se configura como
tautologia ou contradição. Ademais, 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. Dessa forma, considere a seguinte proposição “p → ⁓p”:
 
MORTARI, C. A. Introdução à Lógica. São Paulo: Editora UNESP: Imprensa Oficial do
Estado, 2001.
 
Construa a Tabela Verdade:
 
Assinale a alternativa que contenha a construção correta da Tabela Verdade de tal proposição: 
Escolha uma opção:
a. 
b. 
c. 
d. 
e. 
08/11/22, 17:51 ATIVIDADE ONLINE 1 - AV12022/4
https://moodle.ead.unifcv.edu.br/mod/quiz/review.php?attempt=2080005 6/12
Questão 5
Correto
Atingiu 0,20 de 0,20
Quando os valores lógicos atribuídos na última coluna de uma Tabela Verdade são apenas F
então se tem uma proposição contraválida. Além disso, é dito ser uma contradição toda
proposição composta P(p, q, r,...) cujo valor lógico é sempre FALSIDADE (F), independente
dos valores lógicos das proposições atômicas (p, q, r,...). Assim sendo, considere a seguinte
proposição “⁓p ˄ (p ˄ ⁓q)”:
 
ROCHA, E. Raciocínio lógico para concursos: você consegue aprender. 3ª. Ed.rev. – Niterói,
RJ: Impetus, 2010 (adaptado).
 
Construa a Tabela Verdade:
 
Assinale a alternativa que contenha a ilustração correta da Tabela Verdade da proposição “⁓p ˄
(p ˄ ⁓q)”: 
Escolha uma opção:
a. 
b. 
08/11/22, 17:51 ATIVIDADE ONLINE 1 - AV12022/4
https://moodle.ead.unifcv.edu.br/mod/quiz/review.php?attempt=2080005 7/12
c. 
d. 
e. 
08/11/22, 17:51 ATIVIDADE ONLINE 1 - AV12022/4
https://moodle.ead.unifcv.edu.br/mod/quiz/review.php?attempt=2080005 8/12
Questão 6
Incorreto
Atingiu 0,00 de 0,20
Para Mortari (2001) 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”.
 
MORTARI, C. A. Introdução à Lógica. São Paulo: Editora UNESP: Imprensa Oficial do
Estado, 2001 (adaptado).
 
Sobre isso, analise as seguintes fórmulas tautológicas:
 
I – “p → p”
II – “⁓(p ˄ ⁓p)”
III – “p ˅ ⁓p”
IV – “⁓(p ˄ q) ↔ (⁓p ˅ ⁓q)”
 
As afirmações I, II, III e IV são respectivamente:
Assinale a alternativa correta. 
Escolha uma opção:
a. Modus Ponens; Modus Tollens; Princípio do Terceiro Excluído; Silogismo Disjuntivo.
b. Modus Ponens; Dupla Negação; Princípio do Terceiro Excluído; Modus Tollens. 
c. Modus Ponens; Dupla Negação; Modus Tollens; Silogismo Hipotético.
d. Modus Ponens; Dupla Negação; Princípio do Terceiro Excluído; Leis de De Morgan.
e. Princípio da Identidade; Princípio da Não contradição; Princípio do Terceiro Excluído;
Leis de De Morgan.
08/11/22, 17:51 ATIVIDADE ONLINE 1 - AV12022/4
https://moodle.ead.unifcv.edu.br/mod/quiz/review.php?attempt=2080005 9/12
Questão 7
Incorreto
Atingiu 0,00 de 0,20
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 Deôntica; Lógica Paracompleta.
c. Lógica Fuzzy; Lógica Paraconsistente; 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.
08/11/22, 17:51 ATIVIDADE ONLINE 1 - AV12022/4
https://moodle.ead.unifcv.edu.br/mod/quiz/review.php?attempt=2080005 10/12
Questão 8
Correto
Atingiu 0,20 de 0,20
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. Proposições; argumentos. 
c. Sentenças Exclamativas; Sentenças Interrogativas.
d. Sentenças Afirmativas; Proposições.
e. Sentenças Declarativas; Argumentos.
08/11/22, 17:51 ATIVIDADE ONLINE 1 - AV12022/4
https://moodle.ead.unifcv.edu.br/mod/quiz/review.php?attempt=2080005 11/12
Questão 9
Correto
Atingiu 0,20 de 0,20
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élicapode 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 Fuzzy; Lógica Proposicional; Lógica Deôntica.
c. Lógica de Programação; Lógica Matemática; Lógica Proposicional. 
d. Lógica Proposicional; Lógica Paracompleta; Lógica Modal.
e. Lógica Modal; Lógica Epistêmica; Lógica Deôntica.
08/11/22, 17:51 ATIVIDADE ONLINE 1 - AV12022/4
https://moodle.ead.unifcv.edu.br/mod/quiz/review.php?attempt=2080005 12/12
Questão 10
Correto
Atingiu 0,20 de 0,20
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 das Possibilidades.
b. Estrutura do Pensamento.
c. Estrutura do Raciocínio. 
d. Estrutura do Conhecimento.
e. Pensamento Moral.