PROVA PRESENCIAL - ONLINE AVUNICVR2 2

Prévia do material em texto

1/21 
 
 
Notas 9,34/10,00 
Avaliar 9,33 de um máximo de 10,00(93%) 
 
 
 
 
 
Sabendo que as letras minúsculas (p, q, r,...) representam as proposições atômicas e as letras 
latinas maiúsculas (P, Q, R,...) as proposições moleculares, considere as proposições simples: 
 
p: “A inflação é quase nula”. 
q: “As taxas de desemprego param de crescer”. 
r: “A taxa de câmbio está valorizada”. 
 
 
Elaborado pelo professor. 
 
 
Q(p, q, r) = p ˄ q ↔ ⁓r 
Traduza para a linguagem corrente e assinale a alternativa correta: 
Escolha uma opção: 
a. “Não é verdade que a inflação é quase nula ou as taxas de desemprego param de 
crescer se, e somente se a taxa de câmbio está valorizada”. 
b. “A inflação é quase nula ou as taxas de desemprego não param de crescer se, e 
somente se é falso que a taxa de câmbio está desvalorizada”. 
c. “A inflação é quase nula e as taxas de desemprego param de crescer se, e somente 
se não é verdade que a taxa de câmbio está valorizada”. 
d. “As taxas de desemprego param de crescer e a inflação é quase nula ou não é 
verdade que a taxa de câmbio está valorizada”. 
e. “Se a inflação é quase nula e as taxas de desemprego param de crescer, então a taxa 
de câmbio está valorizada”. 
Questão 1 
Correto 
 
Atingiu 0,67 de 0,67 
 
2/21 
 
 
 
 
 
 
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. “p ↔ ⁓⁓p” “p → p”; “⁓(p ˄ ⁓p)”. 
b. “p → p”; “⁓(p ˄ ⁓p)”; “p ˅ ⁓p”. 
c. “⁓(p ˄ ⁓p)”; “p ˅ ⁓p”; “q ↔ p”. 
d. “⁓(p ˄ ⁓p)”; “((p ˅ q) ˄ ⁓p) → q”; “p → q”. 
e. “q ↔ p”; “⁓(p ˄ ⁓p)”; “p ˅ ⁓p”. 
Questão 2 
Correto 
 
Atingiu 0,67 de 0,67 
 
3/21 
 
 
 
 
Questão 3 
Incorreto 
 
Atingiu 0,00 de 0,67 
As Tabelas Verdade são consideradas um método semântico ou instrumento cujo objetivo é a 
validação dos argumentos. Além disso, a noção de é uma das mais 
importantes 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 preenche a lacuna do texto corretamente: 
 
Escolha uma opção: 
a. Equivalência Lógica 
 
b. Teorema da Dedução 
c. Tablôs Semânticos 
 
d. Implicação lógica 
e. Consequência lógica 
 
4/21 
 
 
 
 
 
 
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 P1 ˄ P2 ˄ P3 ˄...˄ Pn-1. 
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. Todas as alternativas estão corretas. 
c. Apenas I, II e IV estão corretas. 
 
d. Apenas I está correta. 
e. Apenas I, II e III estão corretas. 
Questão 4 
Correto 
 
Atingiu 0,67 de 0,67 
 
5/21 
 
 
 
 
Questão 5 
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 Pi, 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. Argumentos. 
 
b. Asserções. 
c. Proposições. 
 
d. Predicados. 
e. Refutações. 
 
6/21 
 
 
 
 
Questão 6 
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. q p ↔ r 
 
b. ⁓p ⁓q ↔ r 
c. 
d. 
e. 
 
7/21 
 
 
 
 
 
 
De acordo com Alencar Filho (2003), é possível combinar várias proposições simples (p, q, r,...) 
utilizando os conectivos proposicionais “˄”; “˅”; “˅”; “→”; “↔” e “⁓” e construir proposições 
moleculares P(p, q, r,...) com mais de duas proposições atômicas: 
 
ALENCAR FILHO, E. (2002). Iniciação à lógica matemática. São Paulo: Nobel, 2002 
(adaptado) 
 
 
Construa a Tabela Verdade da proposição “⁓p ˄ (p → q)”: 
 
 
 
 
 
 
 
 
 
 
 
 
Assinale a alternativa que contenha a construção correta da Tabela Verdade de tal proposição: 
Escolha uma opção: 
 
 
 
a. 
 
 
 
 
 
 
 
 
 
 
b. 
Questão 7 
Correto 
 
Atingiu 0,67 de 0,67 
 
8/21 
 
 
 
c. 
d. 
e. 
 
9/21 
 
 
 
 
 
 
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. 
Questão 8 
Correto 
 
Atingiu 0,67 de 0,67 
 
10/21 
 
 
 
c. 
d. 
e. 
 
11/21 
 
 
 
 
 
 
Sabemos que a linguagem formal se utiliza de palavras para exprimir ideias, sentimentos, etc. 
Entretanto, a lógica simbólica se utiliza de conectivos lógicos ou proposicionais representados 
por: “˄”; “˅”; “˅”; “→”; “↔” e “⁓”. Dessa forma, considere as proposições: 
 
p: “Está nevando” e q: “Está ventando”. 
 
 
ALENCAR FILHO, E. (2002). Iniciação à lógica matemática. São Paulo: Nobel, 2002 
(adaptado) 
 
 
Traduza para a linguagem comum as seguintes proposições: 
 
 
p ˄ q ↔ ⁓p 
 
 
Assinale a alternativa correta: 
 
Escolha uma opção: 
a. Está nevando ou está ventando se, e somente se não está nevando. 
 
b. Ou está nevando ou está ventando. 
c. Se está ventando e nevando então está nevando. 
 
d. Está nevando e ventando se, e somente se não está nevando. 
e. Está ventando e nevando se, e somente se não está nevando. 
Questão 9 
Correto 
 
Atingiu 0,67 de 0,67 
 
12/21 
 
 
 
 
 
 
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. 
Questão 10 
Correto 
 
Atingiu 0,67 de 0,67 
 
13/21 
 
 
 
c. 
d. 
e. 
 
14/21 
 
 
 
 
 
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. 
Questão 11 
Correto 
 
Atingiu 0,68 de 0,68 
 
15/21 
 
 
 
 
 
d. 
e. 
Questão 12 
Correto 
 
Atingiu 0,67 de 0,67 
 
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. 5 + 1 = 6 
b. 4 + 2 = 6 
c. 6 - 2 ≠ 4 
 
d. 2 + 4 ≠ 6 
e. 7 – 1 ≠ 6 
 
16/21 
 
 
 
 
 
 
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. Sentenças Declarativas; Argumentos. 
c. Sentenças Afirmativas; Proposições. 
 
d. Proposições; argumentos. 
e. Proposições; Silogismos. 
Questão 13 
Correto 
 
Atingiu 0,67 de 0,67 
 
17/21 
 
 
 
 
 
 
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. (P1) 
2. (P2) 
... 
(n-1).Pn-1 
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. q → p P1 
2. p → r P2 
3. ⁓p P3 
4. ∴ ⁓r C 
 
b. 
1. p ↔ q P1 
2. q → r P2 
3. p P3 
4. ∴ r C 
 
c. 
1. p → q P1 
2. p ↔ r P2 
Questão 14 
Correto 
 
Atingiu 0,67 de 0,67 
 
18/21 
 
 
 
3. ⁓p 
4. ∴ r 
P3 
C 
d. 
1. p → q P1 
2. q → r P2 
3. ⁓p P3 
4. ∴ ⁓r C 
e. 
1. p → r P1 
2. r → q P2 
3. ⁓q P3 
4. ∴ ⁓p C 
 
19/21 
 
 
 
 
 
 
 
De acordo com Rocha (2010) a Tautologia mais simples pode ser representada por meio do 
Princípio do Terceiro excluído: “p ˅ ⁓p”. 
 
ROCHA, E. Raciocínio lógico para concursos: você consegue aprender. 3ª. Ed.rev. – Niterói, 
RJ: Impetus, 2010 (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 15 
Correto 
 
Atingiu 0,67 de 0,67