ATIVIDADE ONLINE 1 - AV12022_3

Prévia do material em texto

Painel / Meus cursos / Raciocínio Lógico / Atividades e Avaliações (período 2022/3)
/ ATIVIDADE ONLINE 1 - AV12022/3
Iniciado em domingo, 14 ago 2022, 10:08
Estado Finalizada
Concluída em domingo, 14 ago 2022, 10:43
Tempo
empregado
35 minutos 43 segundos
Avaliar 1,00 de um máximo de 2,00(50%)
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-8
https://moodle.ead.unifcv.edu.br/mod/quiz/view.php?id=25149
Questão 1
Correto
Atingiu 0,20 de 0,20
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. 
Questão 2
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; Dupla Negação; Princípio do Terceiro Excluído; Modus Tollens.
b. Modus Ponens; Modus Tollens; Princípio do Terceiro Excluído; Silogismo Disjuntivo.
c. Princípio da Identidade; Princípio da Não contradição; Princípio do Terceiro Excluído;
Leis de De Morgan.
d. Modus Ponens; Dupla Negação; Princípio do Terceiro Excluído; Leis de De Morgan. 

e. Modus Ponens; Dupla Negação; Modus Tollens; Silogismo Hipotético.
Questão 3
Incorreto
Atingiu 0,00 de 0,20
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. 
Questão 4
Correto
Atingiu 0,20 de 0,20
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. ⁓s 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 

e.
1. ⁓p ˅ (s ˄ r) P1 
2. ⁓(q ˄ ⁓p) P2 
3. r P3 
4. ∴ q → r C 
Questão 5
Incorreto
Atingiu 0,00 de 0,20
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 IV estão corretas.
c. Todas as alternativas estão corretas.
d. Apenas I está correta.
e. Apenas I, II e III estão corretas.
1 2 3 n-1
Questão 6
Incorreto
Atingiu 0,00 de 0,20
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)”; “p ˅ ⁓p”.
c. “p ↔ ⁓⁓p” “p → p”; “⁓(p ˄ ⁓p)”.
d. “⁓(p ˄ ⁓p)”; “p ˅ ⁓p”; “q ↔ p”.
e. “⁓(p ˄ ⁓p)”; “((p ˅ q) ˄ ⁓p) → q”; “p → q”. 
Questão 7
Correto
Atingiu 0,20 de 0,20
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 uma opção:
a. 
b. 
c. 
d. 
e. 
Questão 8
Correto
Atingiu 0,20 de 0,20
Ao pensarmos, efetuamos algumas operações sobre as proposições, denominadas de
operações lógicas. Estas, por sua vez, obedecem às regras do Cálculo Proposicional. Posto
isso, o Cálculo Proposicional consiste na parte da Lógica Matemática cujo objetivo é estudar a
validade dos argumentos que são representados por uma linguagem particular, a linguagem
proposicional. 
 
ALENCAR FILHO, E. Iniciação à Lógica Matemática. São Paulo: Nobel, 2002 (adaptado).
 
Assinale Verdadeiro (V) ou Falso (F):
 
( ) Disjunção inclusiva é o resultado da combinação de duas proposições conectadas pela
palavra “ou” e é representada pelo símbolo “˅”.
 
( ) Negação de uma proposição p é representada por “não p” cuja notação é “⁓p”.
 
( ) Condicional é uma proposição representada por “se p então q”, cujo símbolo é “p → q”.
 
( ) Bicondicional cuja representação é dada por meio de “p se, e somente se, q” e
simbolicamente, “p ↔ q”.
 
( ) Conjunção de duas proposições p e q é representada pela letra “e” e simbolicamente por
“˄”, ou seja, “p e q”.
 
Assinale a alternativa que contenha a sequência correta:
 
Escolha uma opção:
a. F-V-V-V-V.
b. V-V-V-V-V. 
c. F-V-V-V-F.
d. V-F-V-F-V.
e. F-V-V-F-F.
Questão 9
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 do Pensamento.
b. Estrutura das Possibilidades.
c. Pensamento Moral.
d. Estrutura do Raciocínio. 
e. Estrutura do Conhecimento.
Questão 10
Incorreto
Atingiu 0,00 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. “⁓”;“↔”; “⁓”; “˄”; “˅”.