PROVA PRESENCIAL - ONLINE AVP2022_4

Prévia do material em texto

28/11/22, 16:10 PROVA PRESENCIAL - ONLINE AVP2022/4
https://moodle.ead.unifcv.edu.br/mod/quiz/review.php?attempt=2159960 1/19
Painel / Meus cursos / Raciocínio Lógico / Atividades e Avaliações (período 2022/4)
/ PROVA PRESENCIAL - ONLINE AVP2022/4
Iniciado em segunda, 28 nov 2022, 15:27
Estado Finalizada
Concluída em segunda, 28 nov 2022, 16:09
Tempo
empregado
42 minutos 29 segundos
Avaliar 4,00 de um máximo de 6,00(67%)
Questão 1
Correto
Atingiu 0,40 de 0,40
As Tabelas Verdade consistem em um método semântico para validação de argumentos com
limitações práticas. Sendo assim, para obter o número de linhas de uma Tabela Verdade basta
aplicar a fórmula 2 , sendo que n representa o número de proposições.
 
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 corresponde ao número de linhas de uma Tabela Verdade com as
proposições simples “p”, “q”, “r” e “s”.
 
Diante do exposto, assinale a alternativa correta:
Escolha uma opção:
a. 16 
b. 4
c. 8
d. 32
e. 64
n
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-10
https://moodle.ead.unifcv.edu.br/mod/quiz/view.php?id=31407
28/11/22, 16:10 PROVA PRESENCIAL - ONLINE AVP2022/4
https://moodle.ead.unifcv.edu.br/mod/quiz/review.php?attempt=2159960 2/19
Questão 2
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. Fuzzy; material; formal.
b. Formal; material; formal. 
c. Formal; Fuzzy, material.
d. Material; não clássica; material.
e. Paraconsistente; paracompleta; Fuzzy.
28/11/22, 16:10 PROVA PRESENCIAL - ONLINE AVP2022/4
https://moodle.ead.unifcv.edu.br/mod/quiz/review.php?attempt=2159960 3/19
Questão 3
Correto
Atingiu 0,40 de 0,40
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)
28/11/22, 16:10 PROVA PRESENCIAL - ONLINE AVP2022/4
https://moodle.ead.unifcv.edu.br/mod/quiz/review.php?attempt=2159960 4/19
Questão 4
Correto
Atingiu 0,40 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. 
28/11/22, 16:10 PROVA PRESENCIAL - ONLINE AVP2022/4
https://moodle.ead.unifcv.edu.br/mod/quiz/review.php?attempt=2159960 5/19
 
c. 
 
d.
 
 
 

e. 
 
28/11/22, 16:10 PROVA PRESENCIAL - ONLINE AVP2022/4
https://moodle.ead.unifcv.edu.br/mod/quiz/review.php?attempt=2159960 6/19
Questão 5
Correto
Atingiu 0,40 de 0,40
É dito que um argumento P , P , P ,..., P ⊢ C é válido se, e somente se, a conclusão “C” é
VERDADEIRA (V) todas as vezes que as premissas P , P , P ,..., P são VERDADEIRAS
(V).
 
ROCHA, E. Raciocínio lógico para concursos: você consegue aprender. 3ª. Ed.rev. – Niterói,
RJ: Impetus, 2010. (adaptado).
 
Analise as afirmativas abaixo:
I. Todo argumento válido possui a característica de que a verdade das premissas é
incompatível com o valor lógico F da conclusão “C”.
II. Um argumento composto por duas premissas (proposições base) e uma conclusão é
chamado de silogismo categórico formal ou regular.
III. Um silogismo é uma forma de raciocínio dedutivo cujo princípio é partir de determinadas
informações que se infere certa conclusão.
IV. Um sofisma é um tipo de silogismo cujo objetivo é implicar a conclusão.
 
É correto o que se afirma em:
 
Escolha uma opção:
a. Apenas I, II e IV estão corretas.
b. Apenas I, II e III estão corretas. 
c. Apenas I e II estão corretas.
d. Apenas I está correta.
e. Todas as alternativas estão corretas.
1 2 3 n-1
1 2 3 n-1
28/11/22, 16:10 PROVA PRESENCIAL - ONLINE AVP2022/4
https://moodle.ead.unifcv.edu.br/mod/quiz/review.php?attempt=2159960 7/19
Questão 6
Incorreto
Atingiu 0,00 de 0,40
Os resultados da última coluna de uma Tabela Verdade dada uma proposição composta P(p, q,
r, s,...) podem ser classificadas em tautológicas, contraválidas ou contingentes. Sendo assim,
considere a seguinte proposição composta “p ˄ r → ⁓q ˅ r”.
 
ALENCAR FILHO, E. (2002). Iniciação à lógica matemática. São Paulo: Nobel, 2002
(adaptado).
 
Construa a Tabela Verdade:
 
Sendo assim, assinale a alternativa que contenha a construção correta da Tabela Verdade da
proposição composta “p ˄ r → ⁓q ˅ r”: 
Escolha uma opção:
a. 
28/11/22, 16:10 PROVA PRESENCIAL - ONLINE AVP2022/4
https://moodle.ead.unifcv.edu.br/mod/quiz/review.php?attempt=2159960 8/19
b. 
c. 
d. 
28/11/22, 16:10 PROVA PRESENCIAL - ONLINE AVP2022/4
https://moodle.ead.unifcv.edu.br/mod/quiz/review.php?attempt=2159960 9/19
e. 
Questão 7
Correto
Atingiu 0,40 de 0,40
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. Predicado
b. Falácia
c. Método semântico 
d. Sofisma
e. Cálculo Proposicional
28/11/22, 16:10 PROVA PRESENCIAL - ONLINE AVP2022/4
https://moodle.ead.unifcv.edu.br/mod/quiz/review.php?attempt=2159960 10/19
Questão 8
Incorreto
Atingiu 0,00 de 0,40
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. q ↔ 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 
d.
1. ⁓p ˅ (s ˄ r) P1 
2. ⁓(q ˄ ⁓p) P2 
3. r P3 
28/11/22, 16:10 PROVA PRESENCIAL - ONLINE AVP2022/4
https://moodle.ead.unifcv.edu.br/mod/quiz/review.php?attempt=2159960 11/19
4. ∴ q → r C 
e.
1. p ˅ s → r P1 
2. (q ˄ p) P2 
3. ⁓s P3 
4. ∴ q → r C 

Questão 9
Incorreto
Atingiu 0,00 de 0,40
Verificamos que o método semânticodas Tabelas Verdade é construído a partir das regras dos
conectivos lógicos: “Conjunção”; “Disjunção”; “Condicional”; “Bicondicional” e “Negação”.
Sendo assim, considere as seguintes proposições:
 
BISPO, C. A. F.; CASTANHEIRA, L. B.; SOUZA FILHO, O. M. Introdução à Lógica Matemática.
Cengage Learning, 2011 (adaptado).
 
P: “4 + 3 = 7 e 9 é um número par”;
 
Q: “Se π é um número irracional, então 7 + 2 = 10”;
 
R: “3 = 9 se, e somente se √144 < √25”.
 
 
Verifique o valor lógico de cada uma das proposições simples componentes e conclua qual o
valor lógico das proposições compostas “P”, “Q” e “R”:
 
Assinale a alternativa correta:
Escolha uma opção:
a. V(P(p, q))= F; V(P(p, q))= F; V(P(p, q))= V.
b. V(P(p, q))= V; V(P(p, q))= V; V(P(p, q))= V.
c. V(P(p, q))= V; V(P(p, q))= F; V(P(p, q))= V. 
d. V(P(p, q))= V; V(P(p, q))= V; V(P(p, q))= F.
e. V(P(p, q))= F; V(Q(p, q))= F; V(R(p, q))= F.
2 
28/11/22, 16:10 PROVA PRESENCIAL - ONLINE AVP2022/4
https://moodle.ead.unifcv.edu.br/mod/quiz/review.php?attempt=2159960 12/19
Questão 10
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. Silogismos 
c. Abdução
d. Absorção
e. Algoritmo
28/11/22, 16:10 PROVA PRESENCIAL - ONLINE AVP2022/4
https://moodle.ead.unifcv.edu.br/mod/quiz/review.php?attempt=2159960 13/19
Questão 11
Correto
Atingiu 0,40 de 0,40
Os conectivos lógicos são respectivamente: “˄”; “˅”, “→”, “↔”,“⁓”. Portanto, a negação de uma
proposição pode ser representada por “não p”, ou simbolicamente por: “⁓p”.
 
ALENCAR FILHO, E. (2002). Iniciação à lógica matemática. São Paulo: Nobel, 2002
(adaptado)
 
Seja:
p: “2 + 4 = 6”
 
Assinale a alternativa que nega (⁓p) a proposição atômica “p”: 
Escolha uma opção:
a. 2 + 4 ≠ 6 
b. 5 + 1 = 6
c. 6 - 2 ≠ 4
d. 4 + 2 = 6
e. 7 – 1 ≠ 6
28/11/22, 16:10 PROVA PRESENCIAL - ONLINE AVP2022/4
https://moodle.ead.unifcv.edu.br/mod/quiz/review.php?attempt=2159960 14/19
Questão 12
Correto
Atingiu 0,40 de 0,40
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. 
28/11/22, 16:10 PROVA PRESENCIAL - ONLINE AVP2022/4
https://moodle.ead.unifcv.edu.br/mod/quiz/review.php?attempt=2159960 15/19
Questão 13
Correto
Atingiu 0,40 de 0,40
Traduza as proposições compostas ou moleculares “P”, “Q” e “R” para a linguagem simbólica
utilizando os conectivos proposicionais “˄”; “˅”; “˅” “→”; “↔”; “⁓” quando necessário e as letras
minúsculas ou letras proposicionais (p, q, r,..., s) para representar as proposições simples ou
atômicas. 
 
ALENCAR FILHO, E. (2002). Iniciação à lógica matemática. São Paulo: Nobel, 2002
(adaptado).
 
P: “Thomas escreverá para Maria e ela irá para Roma”.
Q: “Theobaldo é alto, ou baixo”.
R: “Oswald jogará na competição se, e somente se Bernadete não competir”.
 
Assinale a alternativa que representa corretamente a tradução simbólica das proposições
compostas “P”, “Q” e “R”, respectivamente:
Escolha uma opção:
a. ⁓q ˄ p; q ˅ p; p ↔ ⁓ q.
b. q ˅ p; ⁓p ↔ ⁓ q; p → q.
c. ⁓p ˅ q; p → q; ⁓q ˄ p.
d. p ˄ q; p ˅ q; p ↔ ⁓ q. 
e. p → q; ⁓p ˅ ⁓q; q ˄ p.
28/11/22, 16:10 PROVA PRESENCIAL - ONLINE AVP2022/4
https://moodle.ead.unifcv.edu.br/mod/quiz/review.php?attempt=2159960 16/19
Questão 14
Incorreto
Atingiu 0,00 de 0,40
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. 
28/11/22, 16:10 PROVA PRESENCIAL - ONLINE AVP2022/4
https://moodle.ead.unifcv.edu.br/mod/quiz/review.php?attempt=2159960 17/19
e. 
 
28/11/22, 16:10 PROVA PRESENCIAL - ONLINE AVP2022/4
https://moodle.ead.unifcv.edu.br/mod/quiz/review.php?attempt=2159960 18/19
Questão 15
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 ˅ ⁓p”; “q ↔ p”. 
c. “⁓(p ˄ ⁓p)”; “((p ˅ q) ˄ ⁓p) → q”; “p → q”.
d. “p → p”; “⁓(p ˄ ⁓p)”; “p ˅ ⁓p”.
e. “p ↔ ⁓⁓p” “p → p”; “⁓(p ˄ ⁓p)”.
28/11/22, 16:10 PROVA PRESENCIAL - ONLINE AVP2022/4
https://moodle.ead.unifcv.edu.br/mod/quiz/review.php?attempt=2159960 19/19