Questão123 e discursiva

Prévia do material em texto

Questão 1 
Incorreto 
Marcar questão 
Texto da questão 
Uma proposição lógica pode ser simples ou composta. Das proposições abaixo, 
assinale a alternativa que indica uma proposição simples é: 
Escolha uma: 
a. Mariza é bela e Paulo é inteligente 
b. Se o Coritiba vencer então o Atlético perde 
Cap. 01 - Introducao a Logica, cálculo proposicional 
Comentário 
Observe que apenas em Marco é casado com Marília, temos uma proposição simples, 
quando afirma que Marco é casado com Marília. 
c. Maria usa verde ou Lívia usa vermelho 
d. Marco é casado com Marília 
e. Jorge é baixo e gordo 
Feedback 
Sua resposta está incorreta. 
A resposta correta é: Marco é casado com Marília. 
Questão 2 
Correto 
Marcar questão 
Texto da questão 
Das proposições seguintes qual delas tem o valor lógico falso? 
Escolha uma: 
a. O Brasil foi uma colônia de Portugal 
b. O Brasil nunca ganhou medalha de ouro no futebol das Olimpíadas 
Cap. 01 - Introducao a Logica, cálculo proposicional 
Comentário 
A única proposição falsa é 
O Brasil nunca ganhou medalha de ouro no futebol das Olimpíadas.pois o Brasil ganhou a 
medalha de ouro nas Olimpíadas RIO 2016 
 
c. A lua é um satélite natural da terra 
d. A província do Paraná foi criada no império quando foi desmembrada de São Paulo 
e. Os raios são descargas elétricas que podem subir da terra 
Feedback 
Sua resposta está correta. 
A resposta correta é: O Brasil nunca ganhou medalha de ouro no futebol das Olimpíadas. 
Questão 3 
Incorreto 
Marcar questão 
Texto da questão 
Considere as proposições: 
 p: Jorge fala Frances 
 q: Jorge nasceu no Brasil 
Traduzindo para a linguagem simbólica a proposição “Jorge fala Frances e 
nasceu no Brasil” tem-se: 
Escolha uma: 
a. 
 p Λ q 
b. 
 p ↔ q 
c. p V q 
 
d. 
 
 p → q 
e. 
p → ~ q 
Feedback 
Sua resposta está incorreta. 
A resposta correta é: 
 p Λ q 
. 
Questão 4 
Incorreto 
Marcar questão 
Texto da questão 
Das sentenças abaixo, apenas uma não é declarativa. Assinale a sentença não é 
uma proposição 
Escolha uma: 
a. A terra é um satélite da lua 
Cap. 01 - Introducao a Logica, cálculo proposicional 
Comentário 
A resposta correta é 
Você torce para qual clube de futebol?, pois é uma frase interrogativa 
 
b. Buenos Aires foi conhecida como a Paris da América do Sul 
c. Todo ser humano é mortal 
d. Você torce para qual clube de futebol? 
e. Colônia del Sacramento é uma cidade uruguaia criada pelos portugueses 
Feedback 
Sua resposta está incorreta. 
A resposta correta é: Você torce para qual clube de futebol?. 
Questão 5 
Incorreto 
Marcar questão 
Texto da questão 
Considere os valores lógicos das proposições p e q dados na tabela seguinte 
p q 
V V 
V F 
F V 
F F 
Construindo a tabela verdade da proposição ~(p V - q), a última coluna será: 
Escolha uma: 
a. FFVF 
b. VVFV 
c. VVFF 
d. FFVV 
 
e. VFVF 
Feedback 
Sua resposta está incorreta. 
A resposta correta é: FFVF. 
Questão 6 
Correto 
Marcar questão 
Texto da questão 
Considere as seguintes proposições: 
I. √2 é um número racional. 
II. log2 é um número irracional. 
III. 1 é um numero primo. 
Associando o valor lógico verdadeiro ou falso a cada uma das proposições tem-
se 
 
Escolha uma: 
a. FVF 
 
b. VVV 
c. FFV 
d. VFV 
e. FVV 
Feedback 
Sua resposta está correta. 
A resposta correta é: FVF. 
Questão 7 
Incorreto 
Marcar questão 
Texto da questão 
Seja p a proposição “Fala Inglês”, q a proposição “Fala Frances” e r a proposição 
“Nasceu em Curitiba”. A proposição composta r → ( p V q ) pode ser traduzida 
para a linguagem comum como: 
Escolha uma: 
a. Nasceu em Curitiba se e somente se fala Inglês ou Frances 
b. Se nasceu em Curitiba, então fala Inglês ou Frances 
c. Se fala Inglês ou Frances, então nasceu em Curitiba 
d. Se nasceu em Curitiba, então fala Inglês e Frances 
e. Se Fala Inglês e Frances, então nasceu em Curitiba 
Cap. 02 - Operações Lógicas sobre Proposições 
Comentário 
Observe que na proposição composta tem-se uma condicional, onde o antecedente é 
nasceu em Curitiba, e no conseqüente tem-se a disjunção fala Inglês ou fala Frances. Assim, 
a alternativa correta é 
Se nasceu em Curitiba, então fala Inglês ou Frances. 
 
Feedback 
Sua resposta está incorreta. 
A resposta correta é: Se nasceu em Curitiba, então fala Inglês ou Frances. 
Questão 8 
Incorreto 
Marcar questão 
Texto da questão 
Considere as seguintes proposições: 
I. Todos os gatos são pardos 
II.Salvador é a cidade de maior população negra do mundo. 
III.Os primeiros Jogos Olímpicos da era moderna ocorreram em Atenas na 
Grécia. 
Os valores lógicos das proposições são respectivamente 
 
Escolha uma: 
a. FVV 
b. FFV 
 
Cap. 03 - Tabelas-verdade 
Comentário 
A resposta correta é FVV, pois nem todos os gatos são pardos, mas as demais são 
verdadeiras. 
c. VVV 
d. VFF 
e. VVF 
Feedback 
Sua resposta está incorreta. 
A resposta correta é: FVV. 
Questão 9 
Incorreto 
Marcar questão 
Texto da questão 
Considere os valores lógicos das proposições p e q dados na tabela seguinte 
p q 
V V 
V F 
F V 
F F 
Construindo a tabela verdade da proposição (p V ~ q)→q, a última coluna será: 
 
 
Escolha uma: 
a. VVFF 
b. VVFV 
c. FFVF 
d. VFVF 
e. FFVV 
 
Feedback 
Sua resposta está incorreta. 
A resposta correta é: VFVF. 
Questão 10 
Incorreto 
Marcar questão 
Texto da questão 
Considere os valores lógicos das proposições p e q dados na tabela seguinte 
p q 
V V 
V F 
F V 
F F 
Construindo a tabela verdade da proposição (~p Λ ~q) → (p V q), a última 
coluna será: 
Escolha uma: 
a. VVFV 
b. FFVV 
 
c. VVFF 
d. FFVF 
e. VFVF 
Feedback 
Sua resposta está incorreta. 
A resposta correta é: VVFV. 
 
Questão 1 
Incorreto 
Marcar questão 
Texto da questão 
Considere a proposição: “Se o quadrado de um número é par, então este 
número é par”. A contrapositiva desta proposição é: 
Escolha uma: 
a. Se o quadrado de um número é ímpar, então este número é ímpar. 
 
b. Se um número é par, então o quadrado deste número é par. 
c. Se um número é ímpar, então o quadrado deste número é ímpar. 
d. Se o quadrado de um número é par, então este número é par. 
e. Se o quadrado de um número é ímpar, então este número é par. 
Feedback 
Sua resposta está incorreta. 
A resposta correta é: Se um número é ímpar, então o quadrado deste número é ímpar.. 
Questão 2 
Correto 
Marcar questão 
Texto da questão 
Construindo a tabela verdade da proposição ~ (p Λ q) ↔ (~p V ~ q) Obtém-se 
uma: 
Escolha uma: 
a. 
Contra positiva. 
b. 
Contingência. 
c. 
Contradição. 
d. 
Tautologia. 
 
e. 
Condicional. 
Feedback 
Sua resposta está correta. 
A resposta correta é: 
Tautologia.. 
Questão 3 
Incorreto 
Marcar questão 
Texto da questão 
Considere a seguinte afirmativa: “Se estudou então vai passar.” A contrapositiva 
desta afirmativa é: 
Escolha uma: 
a. Se não passar então não estudou. 
b. Se passou então não estudou. 
c. Se passou então estudou. 
d. Se não estudou então não vai passar. 
Cap. 05 - Equivalências lógicas 
Comentário 
Para obter a contrapositiva de uma proposição, o antecedente e o consequente são 
invertidos e negados. Assim, a alternativa correta é o item Se não passar então não 
estudou. 
e. Se estudou então não vai passar. 
Feedback 
Sua resposta está incorreta. 
A resposta correta é: Se não passarentão não estudou.. 
Questão 4 
Incorreto 
Marcar questão 
Texto da questão 
Considere verdadeiros os seguintes argumentos: 
(p ↔ q) → (r Λ s) 
~ (r Λ s) 
Usando a regra Modus Tollens podemos inferir que 
Escolha uma: 
a. ~ (p ↔ q) 
b. ~ p ↔ q 
c. q → ~ p 
d. 
p ↔ ~ q 
 
e. 
p → ~ q 
Feedback 
Sua resposta está incorreta. 
A resposta correta é: ~ (p ↔ q). 
Questão 5 
Correto 
Marcar questão 
Texto da questão 
Considere a proposição: "Se fizer sol, então eu vou ao parque". Sua proposição 
contrária será: 
Escolha uma: 
a. Se eu vou ao parque, então fez sol. 
b. Se não fizer sol, então eu não vou ao parque. 
Cap. 05 - Equivalências lógicas 
Comentário 
Para obter a contrária de uma proposição, o antecedente e o consequente são negados. 
Assim, a alternativa correta é Se não fizer sol, então eu não vou ao parque 
c. Se fizer sol, então eu não vou ao parque. 
d. Se não fizer sol, então eu vou ao parque. 
e. Se eu não vou ao parque, então não fez sol. 
Feedback 
Sua resposta está correta. 
A resposta correta é: Se não fizer sol, então eu não vou ao parque.. 
Questão 6 
Incorreto 
Marcar questão 
Texto da questão 
Considere verdadeiros os seguintes argumentos: 
(p↔q) V (q ↔ r) 
~ (p ↔ q) 
Usando a regra do Silogismo Disjuntivo pode-se inferir que: 
Escolha uma: 
a. ~(p ↔ r) 
b. (q ↔ r) 
c. ~(q ↔ r) 
 
d. 
 
(~p ↔ ~q) 
e. 
(p ↔ r) 
Feedback 
Sua resposta está incorreta. 
A resposta correta é: (q ↔ r). 
Questão 7 
Incorreto 
Marcar questão 
Texto da questão 
Considerando válidas as proposições (p V q) → ~ r, r, podemos inferir que 
~(p V q). 
A regra de inferência que justifica a validade do argumento é: 
Escolha uma: 
a. 
Silogismo disjuntivo. 
 
Cap. 07 - Argumentos: regras de inferência 2 
Comentário 
Observe que contradizemos o consequente de uma condicional, obtendo a contradição do 
antecedente. Assim a alternativa correta é Modus Tollens 
b. 
Modus Tollens. 
c. 
Modus Ponens. 
d. 
Regra da simplificação 
e. 
Silogismo hipotético. 
Feedback 
Sua resposta está incorreta. 
A resposta correta é: 
Modus Tollens.. 
Questão 8 
Incorreto 
Marcar questão 
Texto da questão 
Considere verdadeiros os seguintes argumentos: 
x > y Λ y > z → x > z 
x > y Λ y > z 
Usando a regra Modus Ponens podemos inferir que: 
Escolha uma: 
a. 
y = z 
b. 
x > z 
c. x = z 
d. 
x < z 
 
Cap. 06 - Argumentos: regras de inferência 
Comentário 
Pela regra Modus Ponens, se o antecedente de uma condicional for verdadeira então seu 
consequente é verdadeiro. Assim a alternativa correta é x>z 
e. 
x = z 
Feedback 
Sua resposta está incorreta. 
A resposta correta é: 
x > z 
. 
Questão 9 
Correto 
Marcar questão 
Texto da questão 
As regras de inferência permitem comprovar a validade de argumentos. Nas 
alternativas seguintes não é exemplo de regra de inferência: 
Escolha uma: 
a. Rotação. 
Cap. 07 - Argumentos: regras de inferência 2 
Comentário 
Analisando as alternativas temos que o único caso que não é regra de inferência é a 
Rotação, 
b. Absorção. 
c. Transposição. 
d. Conjunção. 
e. Distribuição. 
Feedback 
Sua resposta está correta. 
A resposta correta é: Rotação.. 
Questão 10 
Incorreto 
Marcar questão 
Texto da questão 
Considere a seguinte argumentação: 
Se Jorge está com fome, então ele come. 
Jorge dorme ou não come. 
Jorge está acordado. 
Usando das regras de inferências, pode-se concluir que: 
Escolha uma: 
a. Jorge está acordado e está com fome. 
Cap. 07 - Argumentos: regras de inferência 2 
Comentário 
Usando as regras de inferência concluímos que Jorge não está com fome, ou seja, a 
alternativa correta é Jorge não está com fome. 
b. Jorge está com fome. 
c. Jorge não dorme e come. 
d. Jorge não está acordado e não está com fome. 
e. Jorge não está com fome. 
Feedback 
Sua resposta está incorreta. 
A resposta correta é: Jorge não está com fome.. 
 
 
Questão 1 
Incorreto 
Marcar questão 
Texto da questão 
Das seguintes formas de apresentar uma afirmação, o único caso que não se 
consegue demonstrar é: 
Escolha uma: 
a. Postulados 
b. Corolário 
Cap. 09 - Métodos de demonstração 
Comentário: 
Devemos recordar que um postulado é uma afirmação evidente por si própria e não 
demonstrável. O quinto postulado de Euclides foi tema de varias discussões pois se 
afirmavam que na verdade era um teorema pois poderia ser provado. Nesta tentativa de 
demonstração surgiram outras geometrias não euclidianas. Assim, a alternativa correta é 
postulados. 
c. Proposição 
d. Teorema 
e. Lema 
Feedback 
Sua resposta está incorreta. 
A resposta correta é: Postulados. 
Questão 2 
Incorreto 
Marcar questão 
Texto da questão 
Dado o conjunto A = {0,1,2,3,4,5,6,7,8,9}, vamos considerar as seguintes 
proposições: 
I. (∀ x ∈ A) (∃ y ∈ A) (x + y < 10) 
II. (∀ x ∈ A) (∀ y ∈ A) (x + y < 10) 
III. (∃ x ∈ A) (∃ y ∈ A) (x + y < 10) 
Considerando o valor lógico de cada proposição temos, respectivamente: 
Escolha uma: 
a. 
Falso ,Verdadeiro, Falso. 
b. 
Falso, Falso, Verdadeiro. 
 
Cap. 08 - Quantificadores e sentenças abertas 
Comentário: 
Observe que as sentenças I e III são verdadeiros pois qualquer que seja o valor escolhido 
em A, sempre existe outro valor que somado resulta em um valor menor que 10. A 
sentença II é falsa, pois se considerar x=5 e y=6 não será verdadeiro que x+y<10 e a 
sentença diz para todo x e para todo y. Assim, a alternativa correta é Verdadeiro, Falso, 
Verdadeiro. 
c. 
Verdadeiro, Verdadeiro, Falso. 
d. 
Verdadeiro, Falso, Falso. 
e. 
Verdadeiro, Falso, Verdadeiro. 
Feedback 
Sua resposta está incorreta. 
A resposta correta é: 
Verdadeiro, Falso, Verdadeiro.. 
Questão 3 
Incorreto 
Marcar questão 
Texto da questão 
Considere as seguintes proposições: 
I. (∀x ∈ N) (2x é um número par) 
II. (∀x ∈ N) (x2 + 1 ≠ 0) 
III. (∃x ∈ N) (x + 1 = 0) 
Considerando o valor lógico de cada proposição temos, respectivamente: 
Escolha uma: 
a. 
Verdadeiro, Falso, Verdadeiro. 
 
Cap. 08 - Quantificadores e sentenças abertas 
Comentário: 
Observe que as sentenças I e II são verdadeiros pois o dobro de um número natural é par e 
como o quadrado de um número real não é negativo, x²+1>0. No entanto sentença III é 
falsa, pois o único numero que satisfaz é -1 e -1 não é natural. . Assim, a alternativa correta 
é Verdadeiro, Verdadeiro, Falso. 
b. 
 
Verdadeiro, Falso, Falso. 
c. 
Falso ,Verdadeiro, Falso. 
d. 
 
Verdadeiro, Verdadeiro, Falso. 
e. 
Falso, Falso, Verdadeiro. 
Feedback 
Sua resposta está incorreta. 
A resposta correta é: 
 
Verdadeiro, Verdadeiro, Falso.. 
Questão 4 
Incorreto 
Marcar questão 
Texto da questão 
Considere as seguintes afirmações. O único caso que não representa um 
teorema é: 
Escolha uma: 
a. Por dois pontos de um plano passa uma única reta. 
b. A soma de dois números ímpares é um número par. 
c. Em um triângulo retângulo, a soma dos quadrados das medidas dos catetos é igual ao 
quadrado da medida da hipotenusa. 
d. A soma dos ângulos internos de um triângulo é 180º. 
e. O produto de um número par por um número ímpar é um número par. 
Cap. 09 - Métodos de demonstração 
Comentário: 
Observe que, em Por dois pontos de um plano passa uma única reta, temos um dos 
postulados de Euclides. 
Feedback 
Sua resposta está incorreta. 
A resposta correta é: Por dois pontos de um plano passa uma única reta.. 
Questão 5 
CorretoMarcar questão 
Texto da questão 
Para provar que uma função é injetora devemos mostrar que ∀x, y R, se x ≠ y ⇒ 
ƒ(x) ≠ ƒ(y). Em geral, para provar esta proposição usamos sua forma 
contrapositiva, ou seja: 
Escolha uma: 
a. ∀ x, y ∈ R, se f (x) = f (y) ⇒ x ≠ y 
b. ∀ x, y ∈ R, se f (x) ≠ f (y) ⇒ x ≠ y 
c. ∀ x, y ∈ R, se x ≠ y ⇒ f (x) = f (y) 
d. 
 
∀ x, y ∈ R, se f (x) = f (y) ⇒ x = y 
 
e. ∀ x, y ∈ R, se x = y ⇒ f (x) = f (y) 
Feedback 
Sua resposta está correta. 
A resposta correta é: 
 
∀ x, y ∈ R, se f (x) = f (y) ⇒ x = y 
. 
Questão 6 
Correto 
Marcar questão 
Texto da questão 
Considere as seguintes proposições: 
I. “Todos os X são Y; todos os Y são Z; logo, todos os X são Z”. 
II. “Na escola A, a maioria dos professores são doutores; X leciona 
em A; logo, X é doutor." 
 
 
Escolha uma: 
a. Ambos são argumentos dedutivos. 
b. O primeiro é um exemplo de um argumento indutivo. O segundo é um típico argumento 
dedutivo. 
c. O segundo argumento apenas estaria correto com a redação seguinte: "Na escola A, a 
maioria dos professores são doutores; X leciona em A; logo X não é doutor. 
d. O primeiro é um exemplo de um argumento classificado como válido pela lógica 
dedutiva. O segundo é um argumento que não é classificado como válido pela lógica 
dedutiva, denominado indutivo. 
Cap. 10 - Indução matemática 
Comentário: 
Observe que o primeiro caso é um exemplo típico de raciocínio dedutivo, pois usa as 
premissas para tirar uma conclusão verdadeira. O segundo argumento não pode ser 
classificado com um valor lógico pela lógica dedutiva, sendo então um raciocínio indutivo. 
Assim, a alternativa correta é 
O primeiro é um exemplo de um argumento classificado como válido pela lógica dedutiva. 
O segundo é um argumento que não é classificado como válido pela lógica dedutiva, 
denominado indutivo. 
e. O primeiro argumento não é válido. Seria válido, no entanto, enunciar: "Todos os X são Y; 
todos os Y são Z; logo, todos os Y são X." 
Feedback 
Sua resposta está correta. 
A resposta correta é: O primeiro é um exemplo de um argumento classificado como válido 
pela lógica dedutiva. O segundo é um argumento que não é classificado como válido pela 
lógica dedutiva, denominado indutivo.. 
Questão 7 
Incorreto 
Marcar questão 
Texto da questão 
Considere a sentença: “A interseção de dois planos é uma reta”. Escrevendo na 
forma de uma implicação obtém: 
Escolha uma: 
a. Dois planos se interceptam e sua intersecção é uma reta. 
Cap. 04 - implicações lógicas 
Comentário: 
Uma implicação é escrita na forma “se ...então”. Assim, a alternativa correta é 
Se dois planos se interceptam, então sua intersecção é uma reta. 
b. Dois planos se interceptam ou sua intersecção é uma reta. 
c. Se dois planos se interceptam, então sua intersecção é uma reta. 
d. Dois planos se interceptam se e somente se sua intersecção é uma reta. 
e. Existem dois planos que se interceptam em uma reta. 
Feedback 
Sua resposta está incorreta. 
A resposta correta é: Se dois planos se interceptam, então sua intersecção é uma reta.. 
Questão 8 
Correto 
Marcar questão 
Texto da questão 
Seja x um dia qualquer. Sendo q(x) se x é ensolarado e r(x) se x é chuvoso, dos 
símbolos predicativos e os quantificadores apropriados, a sentença da língua 
portuguesa que representa (∀x)(q(x) → r(x)) é: 
Escolha uma: 
a. 
Todos os dias são ensolarados. 
b. 
Alguns dias não são chuvosos. 
c. 
Existe dia que é ensolarado e não é chuvoso 
d. 
Todo dia que é ensolarado é chuvoso. 
e. 
Todo dia que é ensolarado não é chuvoso. 
 
Cap. 04 - implicações lógicas 
Comentário: 
Observe que temos o quantificador universal, a afirmação de q(x) implicando na negação 
de r(x). Logo, a alternativa correta é 
Todo dia que é ensolarado não é chuvoso. 
Feedback 
Sua resposta está correta. 
A resposta correta é: 
Todo dia que é ensolarado não é chuvoso.. 
Questão 9 
Incorreto 
Marcar questão 
Texto da questão 
No teorema: “se um triângulo é isósceles, então a mediana coincide com a 
bissetriz interna,” temos: 
Escolha uma: 
a. A hipótese é que quando a mediana coincide com a bissetriz interna; a tese é que o 
triângulo é isóscele. 
b. A hipótese é que quando o triângulo não é isóscele; a tese é que a mediana não coincide 
com a bissetriz interna. 
c. A hipótese é que quando o triângulo é isóscele; a tese é que a mediana coincide com a 
bissetriz interna. 
d. A hipótese é que quando a mediana não coincide com a bissetriz interna; a tese é que o 
triângulo não é isóscele. 
Cap. 10 - Indução matemática 
Comentário: 
O teorema descrito na forma “se hipótese então tese”. Assim a alternativa correta é 
A hipótese é que quando o triângulo é isóscele; a tese é que a mediana coincide com a 
bissetriz interna. 
e. A hipótese é a mediana de um triângulo isóscele; a tese é que a bissetriz interna. 
Feedback 
Sua resposta está incorreta. 
A resposta correta é: A hipótese é que quando o triângulo é isóscele; a tese é que a 
mediana coincide com a bissetriz interna.. 
Questão 10 
Incorreto 
Marcar questão 
Texto da questão 
Para mostrar, por indução, que a soma dos cubos de três números naturais 
consecutivos é sempre divisível por 9, temos na segunda parte da 
demonstração, que: 
Escolha uma: 
a. Hipótese de indução: 3k3 é divisível por 9; tese da indução: 3 (k + 1)3 é divisível por 9. 
b. Hipótese de indução: k3 é divisível por 9; tese da indução: (k + 1)3 é divisível por 9. 
c. 
Hipótese de indução: k3 + (k + 1)3 + (k + 2)3 é divisível por 9; tese da indução: k4 + 
(k + 1)4 + (k + 2)4 é divisível por 9. 
d. Hipótese de indução: k3 + (k + 1)3 é divisível por 9; tese da indução: (k + 1)3 + (k + 2)3 é 
divisível por 9. 
 
e. Hipótese de indução: k3 + (k + 1)3 + (k + 2)3 é divisível por 9; tese da indução: (k + 1)3 + 
(k + 2)3 + (k + 3)3 é divisível por 9. 
Feedback 
Sua resposta está incorreta. 
A resposta correta é: Hipótese de indução: k3 + (k + 1)3 + (k + 2)3 é divisível por 9; tese da 
indução: (k + 1)3 + (k + 2)3 + (k + 3)3 é divisível por 9.. 
 
Questão 1 
Correto 
Marcar questão 
Texto da questão 
Sendo p, a proposição Paulo é paranaense e q, a proposição Jorge é gaúcho, ao 
traduzir para a linguagem simbólica a proposição “se Paulo não é paranaense, 
então Jorge é gaúcho”, tem-se 
Escolha uma: 
a. p → ~ q 
b. p → q 
c. ~ p → q 
 
d. ~ p ↔ q 
e. p ↔ ~ q 
Feedback 
Sua resposta está correta. 
A resposta correta é: ~ p → q. 
Questão 2 
Incorreto 
Marcar questão 
Texto da questão 
Considere que a afirmativa “Francisco é alto ou Francisco é magro” é falso, 
então é correto afirmar que: 
Escolha uma: 
a. “Francisco é alto” é falso, “Francisco é magro” é verdadeiro 
b. “Francisco é alto” é verdadeiro, “Francisco é magro” é verdadeiro 
Cap. 02 - Operações Lógicas sobre Proposições 
Comentário 
Observe que temos uma disjunção. Na disjunção somente teremos o valor lógico falso 
quando as duas proposições simples forem falsas. Assim, a alternativa correta é 
“Francisco é alto” é falso, “Francisco é magro” é falso. 
 
c. “Francisco é alto” é verdadeiro, “Francisco é magro” é falso 
d. “Francisco é alto” é falso, “Francisco é magro” é falso 
e. Não se pode atribuir um valor lógico individual 
Feedback 
Sua resposta está incorreta. 
A resposta correta é: “Francisco é alto” é falso, “Francisco é magro” é falso. 
Questão 3 
Correto 
Marcar questão 
Texto da questão 
Ou Lógica é fácil, ou Jorge não gosta de Lógica. Por outro lado, se Matemática 
não é difícil, então Lógica é difícil. Daí segue-seque, se Jorge gosta de Lógica. 
Nestas condições pode-se afirmar que: 
Escolha uma: 
a. Lógica é difícil ou Matemática é fácil 
b. Lógica é fácil e Matemática é fácil 
c. Lógica é difícil e Matemática é difícil 
d. Se Matemática é difícil, então Lógica é difícil 
e. Lógica é fácil e Matemática é difícil 
Cap. 01 - Introducao a Logica, cálculo proposicional 
Comentário 
Observe na proposição que temos a disjunção exclusiva, o ou exclusivo (ou .... ou ...). Assim, 
como Jorge gosta de lógica, conclui-se que Lógica é fácil. Por outro lado, a contra positiva 
da proposição “se Matemática não é difícil, então Lógica é difícil” é “Se Lógica é fácil, então 
Matemática é difícil”. Assim a alternativa correta é Lógica é fácil e Matemática é difícil. 
Feedback 
Sua resposta está correta. 
A resposta correta é: Lógica é fácil e Matemática é difícil. 
Questão 4 
Correto 
Marcar questão 
Texto da questão 
Uma proposição lógica pode ser simples ou composta. Das proposições abaixo, 
assinale a alternativa que indica uma proposição simples é: 
Escolha uma: 
a. Mariza é bela e Paulo é inteligente 
b. Marco é casado com Marília 
Cap. 01 - Introducao a Logica, cálculo proposicional 
Comentário 
Observe que apenas em Marco é casado com Marília, temos uma proposição simples, 
quando afirma que Marco é casado com Marília. 
c. Maria usa verde ou Lívia usa vermelho 
d. Se o Coritiba vencer então o Atlético perde 
e. Jorge é baixo e gordo 
Feedback 
Sua resposta está correta. 
A resposta correta é: Marco é casado com Marília. 
Questão 5 
Correto 
Marcar questão 
Texto da questão 
A negação da proposição “todos os gatos são pardos” é: 
Escolha uma: 
a. Não existe gatos pardos 
b. Todos os gatos não são pardos 
c. A noite todos os gatos são pardos 
d. Existem gatos pardos 
e. Existem gatos não pardos 
Cap. 03 - Tabelas-verdade 
Comentário 
Para negar que todos os gatos são pardos, basta que um gato não seja pardo. Assim, a 
alternativa correta é 
Existem gatos não pardos. 
Feedback 
Sua resposta está correta. 
A resposta correta é: Existem gatos não pardos. 
Questão 6 
Incorreto 
Marcar questão 
Texto da questão 
Considere que as proposições p, é verdadeira, q é falso e r é verdadeira. 
I. p → (q Λ r). 
II. p → (q V r). 
III. (p Λ q) → r. 
Assim, o valor lógico das seguintes proposições compostas será 
respectivamente: 
Escolha uma: 
a. Falso, Falso, Verdade 
b. Verdade, Falso, Falso 
c. Falso, Falso, Verdade 
d. Falso, Verdade, Verdade 
e. Verdade, Verdade, Falso 
 
Feedback 
Sua resposta está incorreta. 
A resposta correta é: Falso, Verdade, Verdade. 
Questão 7 
Incorreto 
Marcar questão 
Texto da questão 
Considerando que as proposições simples p, e q, tem valor lógico verdadeiro, 
então 
Escolha uma: 
a. O valor lógico de (p V q) → (~p Λ ~q) é verdadeiro. 
 
b. O valor lógico de (p V q) → (~p Λ q) é verdadeiro. 
c. O valor lógico de (~p V~q) → (p Λ q) é falsa. 
d. O valor lógico de (p V ~q) → (p Λ q) é verdadeiro. 
e. O valor lógico de (~p V q) → (p Λ q) é falsa. 
Feedback 
Sua resposta está incorreta. 
A resposta correta é: O valor lógico de (p V ~q) → (p Λ q) é verdadeiro.. 
Questão 8 
Incorreto 
Marcar questão 
Texto da questão 
Considere que a proposição p, tem valor lógico verdadeiro e que a 
proposição q tem valor lógico falso, então é correto afirmar que: 
Escolha uma: 
a. (~p Λ ~q) tem valor lógico verdadeiro. 
 
 
b. (~p V ~q) tem valor lógico falso. 
c. (p Λ q) tem valor lógico falso. 
d. 
(p V ~q) tem valor lógico falso. 
 
e. (p Λ ~q) tem valor lógico falso. 
Feedback 
Sua resposta está incorreta. 
A resposta correta é: (p Λ q) tem valor lógico falso.. 
Questão 9 
Incorreto 
Marcar questão 
Texto da questão 
Considere os valores lógicos das proposições p e q dados na tabela seguinte 
p q 
V V 
V F 
F V 
F F 
Construindo a tabela verdade da proposição (p → ~ q) V q, a última coluna será: 
Escolha uma: 
a. VVFV 
 
b. VVVV 
c. FVVV 
d. FVVV 
e. VVVF 
Feedback 
Sua resposta está incorreta. 
A resposta correta é: VVVV. 
Questão 10 
Incorreto 
Marcar questão 
Texto da questão 
considere os valores lógicos das proposições p e q dados na tabela seguinte 
p q 
V V 
V F 
F V 
F F 
Construindo a tabela verdade da proposição (~p → q)↔(p V ~q), a última coluna 
será: 
Escolha uma: 
a. FFVF 
b. VVFV 
c. VFVF 
 
d. FFVV 
e. VVFF 
Feedback 
Sua resposta está incorreta. 
A resposta correta é: VVFF. 
 
Questão 1 
Incorreto 
Marcar questão 
Texto da questão 
Uma proposição P é logicamente equivalente a uma proposição Q se as tabelas 
verdades destas duas proposições forem idênticas. Assim, são exemplos de 
equivalências lógicas, exceto: 
Escolha uma: 
a. (p → q) ⇔ (~p Λ q) 
b. p → (p Λ q) ⇔ p → q 
c. ~(p Λ q) ⇔ (~p Λ ~q) 
 
d. 
~p → p ⇔ p 
e. (p → q)) ⇔ (q →p ) 
Feedback 
Sua resposta está incorreta. 
A resposta correta é: (p → q)) ⇔ (q →p ). 
Questão 2 
Correto 
Marcar questão 
Texto da questão 
Considere as seguintes afirmativas: 
I. Uma proposição P é equivalente logicamente a uma proposição Q se e 
somente se a bicondicional P ↔ Q for uma contingência. 
II. Dada uma proposição direta P → q, sua recíproca será ~ q → ~ p. 
III. A contrária de uma posição direta p → q será ~ p → ~ q 
Associando com V quando verdadeira ou com F quando falsa as alternativas, 
obtém-se respectivamente. 
Escolha uma: 
a. 
FVF 
b. 
VFV 
c. 
FVF 
d. 
FFV 
 
e. 
VFF 
Feedback 
Sua resposta está correta. 
A resposta correta é: 
FFV. 
Questão 3 
Correto 
Marcar questão 
Texto da questão 
Uma proposição composta que possui na última coluna de sua tabela verdade 
apenas o valor lógico falso é denominado: 
Escolha uma: 
a. Contra positiva. 
b. Condicional. 
c. Contingência. 
d. Tautologia. 
e. Contradição 
 
Cap. 04 - Tautologias, contradições, implicações lógicas 
Comentário 
Temos que, por definição, que: uma contradição é toda proposição composta, tal que a 
última coluna de sua tabela verdade apresente apenas falsidade. Assim, a alternativa 
correta é Contradição 
Feedback 
Sua resposta está correta. 
A resposta correta é: Contradição. 
Questão 4 
Correto 
Marcar questão 
Texto da questão 
Considere a proposição: "Se ele é bom professor, então ele ensina bem a seus 
alunos". Sua recíproca será: 
Escolha uma: 
a. Se ele ensina mal a seus alunos, então ele é bom professor. 
b. Se ele ensina bem a seus alunos, então ele é mau professor. 
c. Se ele ensina bem a seus alunos, então ele é bom professor. 
Cap. 05 - Equivalências lógicas 
Comentário 
Para obter a recíproca de uma proposição, o antecedente e o consequente são invertidos. 
Assim, a alternativa correta é Se ele ensina bem a seus alunos, então ele é bom 
professor. 
d. Se ele não ensina bem a seus alunos, então ele não é bom professor. 
e. Se ele não é bom professor, então ele não ensina bem a seus alunos. 
Feedback 
Sua resposta está correta. 
A resposta correta é: Se ele ensina bem a seus alunos, então ele é bom professor.. 
Questão 5 
Incorreto 
Marcar questão 
Texto da questão 
Considerando válidas as proposições: y ≠ 9 V y ≠ 18; x = 2 → y = 9; x = 8 → y = 
18, podemos inferir que x ≠ 2 V x ≠ 18. 
A regra de inferência que justifica a validade do argumento é: 
Escolha uma: 
a. 
Modus Tollens. 
b. 
Dilema destrutivo 
c. 
Dilema construtivo, 
d. 
Silogismo disjuntivo. 
e. 
Modus Ponens. 
 
Cap.07 - Argumentos: regras de inferência 2 
Comentário 
A Regra do dilema destrutivo tem uma disjunção que possui como componentes dois 
consequentes de duas condicionais. Assim, a alternativa correta é Dilema destrutivo. 
Feedback 
Sua resposta está incorreta. 
A resposta correta é: 
Dilema destrutivo. 
Questão 6 
Correto 
Marcar questão 
Texto da questão 
Considere a proposição: "Se fizer sol, então eu vou ao parque". Sua proposição 
contrária será: 
Escolha uma: 
a. Se eu vou ao parque, então fez sol. 
b. Se fizer sol, então eu não vou ao parque. 
c. Se não fizer sol, então eu não vou ao parque. 
Cap. 05 - Equivalências lógicas 
Comentário 
Para obter a contrária de uma proposição, o antecedente e o consequente são negados. 
Assim, a alternativa correta é Se não fizer sol, então eu não vou ao parque 
d. Se não fizer sol, então eu vou ao parque. 
e. Se eu não vou ao parque, então não fez sol. 
Feedback 
Sua resposta está correta. 
A resposta correta é: Se não fizer sol, então eu não vou ao parque.. 
Questão 7 
Correto 
Marcar questão 
Texto da questão 
Considere verdadeiros os seguintes argumentos: 
x > y Λ y > z → x > z 
x > y Λ y > z 
Usando a regra Modus Ponens podemos inferir que: 
Escolha uma: 
a. 
x < z 
b. 
x = z 
c. x = z 
d. 
x > z 
 
Cap. 06 - Argumentos: regras de inferência 
Comentário 
Pela regra Modus Ponens, se o antecedente de uma condicional for verdadeira então seu 
consequente é verdadeiro. Assim a alternativa correta é x>z 
e. 
y = z 
Feedback 
Sua resposta está correta. 
A resposta correta é: 
x > z 
. 
Questão 8 
Incorreto 
Marcar questão 
Texto da questão 
Considerando válidas as proposições (p V q) → ~ r, r, podemos inferir que 
~(p V q). 
A regra de inferência que justifica a validade do argumento é: 
Escolha uma: 
a. 
Silogismo hipotético. 
b. 
Modus Ponens. 
 
Cap. 07 - Argumentos: regras de inferência 2 
Comentário 
Observe que contradizemos o consequente de uma condicional, obtendo a contradição do 
antecedente. Assim a alternativa correta é Modus Tollens 
c. 
Modus Tollens. 
d. 
Silogismo disjuntivo. 
e. 
Regra da simplificação 
Feedback 
Sua resposta está incorreta. 
A resposta correta é: 
Modus Tollens.. 
Questão 9 
Correto 
Marcar questão 
Texto da questão 
Considerando válidos os argumentos: 
x < 1 → x ≠ y 
x > 2 → x < y 
x = y V x ≥ y 
Usando a regra do Dilema Destrutivo, conclui-se que: 
 
 
Escolha uma: 
a. x ≤ 1 V x ≥ 2 
b. x ≥ 1 V x ≥ 2 
c. x ≥ 1 V x ≤ 2 
 
d. x ≥ 1 Λ x ≤ 2 
e. x ≥ 1 Λ x ≥ 2 
Feedback 
Sua resposta está correta. 
A resposta correta é: x ≥ 1 V x ≤ 2. 
Questão 10 
Incorreto 
Marcar questão 
Texto da questão 
Considere os seguintes argumentos: 
Se um homem é careca, então ele é inteligente. 
Se um homem é inteligente, então ele tem sucesso na vida. 
Logo, os carecas tem sucesso na vida. 
Esta argumentação é válida pela regra: 
 
 
Escolha uma: 
a. Silogismo disjuntivo. 
b. Dilema destrutivo. 
c. Dilema construtivo. 
 
d. Silogismo hipotético. 
e. Idempotência 
Feedback 
Sua resposta está incorreta. 
A resposta correta é: Silogismo hipotético.. 
Questão 1 
Incorreto 
Marcar questão 
Texto da questão 
Construindo a tabela verdade da proposição p Λ (~ q → ~ p) obtém-se uma: 
Escolha uma: 
a. 
Contingência. 
b. 
Contradição 
c. 
Contra positiva. 
d. 
Tautologia. 
e. 
Condicional. 
 
 
 
Feedback 
Sua resposta está incorreta. 
As respostas corretas são: 
Contradição, 
Contingência. 
Questão 2 
Correto 
Marcar questão 
Texto da questão 
Considere as seguintes afirmativas: 
I. Uma proposição P é equivalente logicamente a uma proposição Q se e 
somente se a bicondicional P ↔ Q for uma contingência. 
II. Dada uma proposição direta P → q, sua recíproca será ~ q → ~ p. 
III. A contrária de uma posição direta p → q será ~ p → ~ q 
Associando com V quando verdadeira ou com F quando falsa as alternativas, 
obtém-se respectivamente. 
Escolha uma: 
a. 
FVF 
b. 
VFV 
c. 
FVF 
d. 
FFV 
 
e. 
VFF 
Feedback 
Sua resposta está correta. 
A resposta correta é: 
FFV. 
Questão 3 
Incorreto 
Marcar questão 
Texto da questão 
Considere verdadeiros os seguintes argumentos: 
(p ↔ q) → (r Λ s) 
~ (r Λ s) 
Usando a regra Modus Tollens podemos inferir que 
Escolha uma: 
a. ~ p ↔ q 
 
b. q → ~ p 
c. ~ (p ↔ q) 
d. 
p → ~ q 
e. 
p ↔ ~ q 
Feedback 
Sua resposta está incorreta. 
A resposta correta é: ~ (p ↔ q). 
Questão 4 
Correto 
Marcar questão 
Texto da questão 
Construindo a tabela verdade da proposição ~ (p Λ q) ↔ (~p V ~ q) Obtém-se 
uma: 
Escolha uma: 
a. 
Contingência. 
b. 
Contra positiva. 
c. 
Condicional. 
d. 
Contradição. 
e. 
Tautologia. 
 
Feedback 
Sua resposta está correta. 
A resposta correta é: 
Tautologia.. 
Questão 5 
Correto 
Marcar questão 
Texto da questão 
Considere verdadeiros os seguintes argumentos: 
(p↔q) V (q ↔ r) 
~ (p ↔ q) 
Usando a regra do Silogismo Disjuntivo pode-se inferir que: 
Escolha uma: 
a. 
 
(~p ↔ ~q) 
b. ~(p ↔ r) 
c. (q ↔ r) 
 
d. 
(p ↔ r) 
e. ~(q ↔ r) 
Feedback 
Sua resposta está correta. 
A resposta correta é: (q ↔ r). 
Questão 6 
Correto 
Marcar questão 
Texto da questão 
Considerando válidas as proposições: y ≠ 9 V y ≠ 18; x = 2 → y = 9; x = 8 → y = 
18, podemos inferir que x ≠ 2 V x ≠ 18. 
A regra de inferência que justifica a validade do argumento é: 
Escolha uma: 
a. 
Silogismo disjuntivo. 
b. 
Modus Tollens. 
c. 
Dilema construtivo, 
d. 
Modus Ponens. 
e. 
Dilema destrutivo 
 
Cap. 07 - Argumentos: regras de inferência 2 
Comentário 
A Regra do dilema destrutivo tem uma disjunção que possui como componentes dois 
consequentes de duas condicionais. Assim, a alternativa correta é Dilema destrutivo. 
Feedback 
Sua resposta está correta. 
A resposta correta é: 
Dilema destrutivo. 
Questão 7 
Correto 
Marcar questão 
Texto da questão 
Considere a proposição: "Se fizer sol, então eu vou ao parque". Sua proposição 
contrária será: 
Escolha uma: 
a. Se não fizer sol, então eu não vou ao parque. 
Cap. 05 - Equivalências lógicas 
Comentário 
Para obter a contrária de uma proposição, o antecedente e o consequente são negados. 
Assim, a alternativa correta é Se não fizer sol, então eu não vou ao parque 
b. Se não fizer sol, então eu vou ao parque. 
c. Se eu vou ao parque, então fez sol. 
d. Se eu não vou ao parque, então não fez sol. 
e. Se fizer sol, então eu não vou ao parque. 
Feedback 
Sua resposta está correta. 
A resposta correta é: Se não fizer sol, então eu não vou ao parque.. 
Questão 8 
Correto 
Marcar questão 
Texto da questão 
Considerando válidas as proposições (p V q) → ~ r, r, podemos inferir que 
~(p V q). 
A regra de inferência que justifica a validade do argumento é: 
Escolha uma: 
a. 
Modus Ponens. 
b. 
Silogismo hipotético. 
c. 
Silogismo disjuntivo. 
d. 
Regra da simplificação 
e. 
Modus Tollens. 
 
Cap. 07 - Argumentos: regras de inferência 2 
Comentário 
Observe que contradizemos o consequente de uma condicional, obtendo a contradição do 
antecedente. Assim a alternativa correta é Modus Tollens 
Feedback 
Sua resposta está correta. 
A resposta correta é: 
Modus Tollens.. 
Questão 9 
Correto 
Marcar questão 
Texto da questão 
Considere os seguintes argumentos: 
Se um homemé careca, então ele é inteligente. 
Se um homem é inteligente, então ele tem sucesso na vida. 
Logo, os carecas tem sucesso na vida. 
Esta argumentação é válida pela regra: 
 
 
Escolha uma: 
a. Silogismo disjuntivo. 
b. Dilema construtivo. 
c. Silogismo hipotético. 
 
d. Dilema destrutivo. 
e. Idempotência 
Feedback 
Sua resposta está correta. 
A resposta correta é: Silogismo hipotético.. 
Questão 10 
Correto 
Marcar questão 
Texto da questão 
As regras de inferência permitem comprovar a validade de argumentos. Nas 
alternativas seguintes não é exemplo de regra de inferência: 
Escolha uma: 
a. Absorção. 
b. Conjunção. 
c. Rotação. 
Cap. 07 - Argumentos: regras de inferência 2 
Comentário 
Analisando as alternativas temos que o único caso que não é regra de inferência é a 
Rotação, 
d. Transposição. 
e. Distribuição. 
Feedback 
Sua resposta está correta. 
A resposta correta é: Rotação.. 
 
Questão 1 
Incorreto 
Marcar questão 
Texto da questão 
Considere as proposições: 
p: Jorge é um atleta.: 
q: Jorge não joga futebol. 
Traduzindo para a linguagem simbólica a proposição “Jorge não é atleta ou 
joga futebol”, tem-se: 
Escolha uma: 
a. 
 
~ p Λ ~q 
b. 
p Λ ~ q 
 
Resolução: Na proposição temos uma disjunção, representada pela letra “ou” cujo símbolo 
lógico é “V”. No entanto, a proposição p está sendo negada e a proposição q também está 
sendo negada. Assim a alternativa correta é ~ p V ~q. 
c. 
 
~ p V ~q 
d. 
 
~ p Λ q 
e. 
~ p V q 
Feedback 
Sua resposta está incorreta. 
A resposta correta é: 
 
~ p V ~q 
. 
Questão 2 
Correto 
Marcar questão 
Texto da questão 
Construindo a tabela verdade da proposição (~p ∧ ~q) ↔ (p ∨ ~q), obtemos 
uma: 
Escolha uma: 
a. 
Reflexão. 
b. 
Contradição. 
c. 
Tautologia. 
d. 
Inferência. 
e. 
Contingência. 
 
 
Resolução: Vamos construir a tabela verdade 
 p q ~p ~q ~p Λ ~q p V ~q (~p Λ ~q) ↔ (p V ~q) 
V V F F F V F 
V F F V F V F 
F V V F F F V 
F F V V V V V 
Assim, de acordo com a tabela verdade temos que a alternativa correta é 
Contingência. 
Feedback 
Sua resposta está correta. 
A resposta correta é: 
Contingência. 
. 
Questão 3 
Incorreto 
Marcar questão 
Texto da questão 
Considere as proposições p e q, tais que o valor lógico de p → q é verdadeiro, o 
valor lógico de p ↔ q é verdadeiro, o valor lógico de p Λ q é falso e o valor 
lógico de p V q é falso. Nestas condições: 
Escolha uma: 
a. 
O valor lógico de p é verdadeiro e o valor lógico de q é falso. 
b. 
O valor lógico de p é verdadeiro e o valor lógico de q é verdadeiro. 
Resolução: Para obter a solução, construímos a tabela verdade: 
 
p q p → q p ↔ q p Λ q p V q 
V V V V V V 
V F F F F V 
F V V F F V 
F F V V F F 
 
Destacando os valores dados no enunciado, temos que a quarta linha corresponde à 
resposta, ou seja: O valor lógico de p é falso e o valor lógico de q é falso. Assim resposta 
correta é: O valor lógico de p é falso e o valor lógico de q é falso. 
c. 
Nada se pode afirmar a respeito do valor lógico de p ou de q. 
d. 
O valor lógico de p é falso e o valor lógico de q é falso. 
e. 
O valor lógico de p é falso e o valor lógico de q é verdadeiro. 
Feedback 
Sua resposta está incorreta. 
A resposta correta é: 
O valor lógico de p é falso e o valor lógico de q é falso. 
. 
Questão 4 
Correto 
Marcar questão 
Texto da questão 
De acordo com Alves (2011), a noção de recursão é inspirada no formalismo das 
Funções Recursivas de Kleene, as quais são equivalentes: 
Escolha uma: 
a. A nenhuma outra função. 
b. Máquina de Turing e Gramática de Chomsky. 
Resolução: 
A noção de recursão está inteiramente ligada à ideia de indução e muito difundida na área 
computacional no trabalho com linguagens de programação, como, por exemplo, 
associado à linguagem Pascal. De acordo com Alves (2011), a noção de recursão é inspirada 
no formalismo das Funções Recursivas de Kleene, as quais são equivalentes ao da 
Máquina de Turing e ao da gramática de Chomsky, no que se refere ao poder 
computacional. CAP. 10 Pág. 144. 
c. Máquina de Chomsky e Gramática de Turing. 
d. As funções não ligadas à ideia de indução. 
e. Somente à máquina de Turing. 
Feedback 
Sua resposta está correta. 
A resposta correta é: Máquina de Turing e Gramática de Chomsky.. 
Questão 5 
Correto 
Marcar questão 
Texto da questão 
Analise a sentença abaixo: 
Se Martins é o autor, então o livro é de ficção. Mas o livro não é de ficção. 
Portanto, Martins não é o autor. 
De que maneira essa sentença pode ser escrita simbolicamente? 
Escolha uma: 
a. 
~q → p 
b. 
(p → q) Λ (~q → ~p) 
Resolução 
Observando a regra de inferência do Modus Tollens, no capítulo 6: se 
contradizemos o consequente de uma condicional, então temos a contradição 
do antecedente. Podemos escrever simbolicamente que (p → q) Λ (~q → ~p). 
c. 
p → ~q 
d. 
q → p 
e. 
(~ p → ~q) Λ (p → q) 
Feedback 
Sua resposta está correta. 
A resposta correta é: 
(p → q) Λ (~q → ~p) 
. 
Questão 6 
Correto 
Marcar questão 
Texto da questão 
Considere os seguintes argumentos colocados na afirmativa: “Se Paulo é um 
bom nadador, então ele é um bom corredor. Se Paulo é um bom corredor, 
então ele é um bom ciclista. Portanto, se Paulo é um bom nadador, então ele é 
um bom ciclista.” A regra de inferência aplicada no caso foi: 
Escolha uma: 
a. 
Regra da simplificação. 
b. 
Silogismo hipotético. 
Resolução: Observe que o argumento pode ser descrito simbolicamente como: (p → q) 
∧ (q → r) ⇒ p → r. Este argumento caracteriza a regra de inferência Silogismo 
hipotético que diz que: o Silogismo Hipotético possui como alicerce a transitividade 
envolvendo a implicação de duas condicionais. Em verdade, se o consequente de um 
coincide com o antecedente de outro, então o antecedente do primeiro implica no 
consequente do segundo. Assim, alternativa correta é Silogismo hipotético. 
c. 
Silogismo disjuntivo. 
d. 
Modus Tollens. 
e. 
Modus Ponens. 
Feedback 
Sua resposta está correta. 
A resposta correta é: 
Silogismo hipotético. 
. 
Questão 7 
Incorreto 
Marcar questão 
Texto da questão 
Considere as afirmativas: 
 I. Um Corolário é uma proposição que é uma 
consequência quase direta de um teorema já demonstrado, ou seja, cuja 
comprovação não é necessária. 
 II. Um Postulado é uma afirmação que é aceita sem 
demonstração. 
 III. Um Lema é uma proposição que só é aceita como 
verdadeira se for demonstrada. 
Podemos afirmar que: 
Escolha uma: 
a. 
I, II e III são verdadeiras. 
Resolução: 
Devemos recordar que: 
 
 
• Chama-se Corolário ao teorema que é uma 
consequência quase direta de um outro já 
demonstrado, ou seja, cuja comprovação é 
imediata ou trivial. Assim, I é falsa 
• Um Postulado é uma afirmação evidente por si 
própria e não demonstrável. Assim II é 
verdadeira. 
• Chama-se Lema a um teorema auxiliar que é 
utilizado na demonstração de outro teorema. 
Assim deve ser demonstrado. 
 
Assim, a alternativa correta é II e III são verdadeiras e I é falsa. 
b. 
Apenas I é verdadeira. 
c. 
I e II são verdadeiras e III é falsa. 
d. 
I e III são verdadeiras e II é falsa. 
e. 
II e III são verdadeiras e I é falsa. 
Feedback 
Sua resposta está incorreta. 
A resposta correta é: 
II e III são verdadeirase I é falsa. 
. 
Questão 8 
Incorreto 
Marcar questão 
Texto da questão 
Considere a proposição: “Todo homem com mais de 25 anos é casado”. A 
negação desta proposição é: 
Escolha uma: 
a. 
Nenhum homem com mais de 25 anos é solteiro. 
b. 
Existe homem com mais de 25 anos que não é casado. 
c. 
Todo homem com mais de 25 anos não é casado. 
Resolução: Para negar o quantificador, basta exibir a existência de pelo menos um 
elemento que não verifica a condição. Assim, ao negar a proposição basta afirmar que 
existe homem com mais de 25 anos que não é casado. Assim, a alternativa correta é: Existe 
homem com mais de 25 anos que não é casado. 
d. 
Nenhum homem com mais de 25 anos é casado. 
e. 
Nenhum homem com mais de 25 anos é casado. 
Feedback 
Sua resposta está incorreta. 
A resposta correta é: 
Existe homem com mais de 25 anos que não é casado. 
. 
Questão 9 
Incorreto 
Marcar questão 
Texto da questão 
Considere os valores lógicos das proposições p e q dados na tabela seguinte. 
 p q 
V V 
V F 
F V 
F F 
 
Construindo a tabela verdade da proposição (~p ∧ q) ↔ (~p ∨ ~q), a última 
coluna será: 
Escolha uma: 
a. 
VVFF 
Resolução: Vamos construir a tabela verdade 
 p q ~p ~q 
 ~q^q 
 
 ~pV~q 
(-p^q) ↔ (~pV~q) 
V V F F F F V 
V F F V F V F 
F V V F V V V 
F F V V F V F 
 
Assim, de acordo com a tabela verdade temos que a alternativa correta é VFVF 
b. 
VVFV 
c. 
FFFV 
d. 
FFVV 
e. 
VFVF 
Feedback 
Sua resposta está incorreta. 
A resposta correta é: 
VFVF 
. 
Questão 10 
Correto 
Marcar questão 
Texto da questão 
João voltou de um passeio na floresta com seus amigos e, ao chegar em casa, 
disse: “Eu matei a cobra e mostrei o pau”. Pedro, um dos amigos, disse: “isso 
não foi verdade”. O significado do que Pedro disse é que João: 
Escolha uma: 
a. 
matou a cobra, mas não mostrou o pau. 
b. 
não matou a cobra ou não mostrou o pau. 
Resolução: 
Observando que a proposição pode ser vista na forma p → q. 
~p: não matou a cobra 
~q: não mostrou o pau 
Esta proposição é logicamente equivalente a ~q → ~p. Assim, a alternativa 
correta é: não matou a cobra ou não mostrou o pau. 
c. 
não matou a cobra, mas mostrou o pau. 
d. 
matou a cobra ou mostrou o pau. 
e. 
não matou a cobra e não mostrou o pau. 
Feedback 
Sua resposta está correta. 
A resposta correta é: 
não matou a cobra ou não mostrou o pau. 
. 
Questão 11 
Correto 
Marcar questão 
Texto da questão 
Ou Lógica é fácil, ou Jorge não gosta de Lógica. Por outro lado, se Matemática 
não é difícil, então Lógica é difícil. Daí segue-se que, se Jorge gosta de Lógica. 
Nestas condições pode-se afirmar que: 
Escolha uma: 
a. Lógica é difícil e Matemática é difícil 
b. Lógica é difícil ou Matemática é fácil 
c. Lógica é fácil e Matemática é difícil 
Cap. 01 - Introducao a Logica, cálculo proposicional 
Comentário 
Observe na proposição que temos a disjunção exclusiva, o ou exclusivo (ou .... ou ...). Assim, 
como Jorge gosta de lógica, conclui-se que Lógica é fácil. Por outro lado, a contra positiva 
da proposição “se Matemática não é difícil, então Lógica é difícil” é “Se Lógica é fácil, então 
Matemática é difícil”. Assim a alternativa correta é Lógica é fácil e Matemática é difícil. 
d. Lógica é fácil e Matemática é fácil 
e. Se Matemática é difícil, então Lógica é difícil 
Feedback 
Sua resposta está correta. 
A resposta correta é: Lógica é fácil e Matemática é difícil. 
Questão 12 
Correto 
Marcar questão 
Texto da questão 
A demonstração direta realiza-se fazendo: 
Escolha uma: 
a. Quando, para provarmos um teorema, evidenciamos a negação, pois são formas 
equivalentes. 
b. Quando admitimos verdadeira a hipótese e, utilizando-a comprovamos ser verdadeira a 
tese. 
Cap. 09 - Métodos de demonstração 
Comentário: 
A forma de demonstração direta é: 
Quando admitimos verdadeira a hipótese e, utilizando-a comprovamos ser verdadeira a 
tese. 
c. Quando admitimos a hipótese verdadeira, e supor a negação da tese e concluir uma 
contradição. 
d. Quando admitindo falsa a hipótese e, utilizando-a comprova-se ser verdadeira a tese. 
e. Quando admitimos verdadeira a hipótese e, utilizando-a comprovamos ser falsa a tese. 
Feedback 
Sua resposta está correta. 
A resposta correta é: Quando admitimos verdadeira a hipótese e, utilizando-a 
comprovamos ser verdadeira a tese.. 
Questão 13 
Incorreto 
Marcar questão 
Texto da questão 
Considerando que as proposições simples p, e q, tem valor lógico verdadeiro, 
então 
Escolha uma: 
a. O valor lógico de (p V q) → (~p Λ ~q) é verdadeiro. 
b. O valor lógico de (p V ~q) → (p Λ q) é verdadeiro. 
c. O valor lógico de (p V q) → (~p Λ q) é verdadeiro. 
 
d. O valor lógico de (~p V~q) → (p Λ q) é falsa. 
e. O valor lógico de (~p V q) → (p Λ q) é falsa. 
Feedback 
Sua resposta está incorreta. 
A resposta correta é: O valor lógico de (p V ~q) → (p Λ q) é verdadeiro.. 
Questão 14 
Incorreto 
Marcar questão 
Texto da questão 
Considere os valores lógicos das proposições p e q dados na tabela seguinte 
p q 
V V 
V F 
F V 
F F 
Construindo a tabela verdade da proposição (p → ~ q) V q, a última coluna será: 
Escolha uma: 
a. FVVV 
b. VVVF 
c. VVFV 
 
d. VVVV 
e. FVVV 
Feedback 
Sua resposta está incorreta. 
A resposta correta é: VVVV. 
Questão 15 
Correto 
Marcar questão 
Texto da questão 
Para mostrar, por indução, que a soma dos cubos de três números naturais 
consecutivos é sempre divisível por 9, temos na segunda parte da 
demonstração, que: 
Escolha uma: 
a. Hipótese de indução: k3 + (k + 1)3 + (k + 2)3 é divisível por 9; tese da indução: (k + 1)3 + 
(k + 2)3 + (k + 3)3 é divisível por 9. 
 
b. Hipótese de indução: k3 é divisível por 9; tese da indução: (k + 1)3 é divisível por 9. 
c. Hipótese de indução: 3k3 é divisível por 9; tese da indução: 3 (k + 1)3 é divisível por 9. 
d. Hipótese de indução: k3 + (k + 1)3 é divisível por 9; tese da indução: (k + 1)3 + (k + 2)3 é 
divisível por 9. 
e. 
Hipótese de indução: k3 + (k + 1)3 + (k + 2)3 é divisível por 9; tese da indução: k4 + 
(k + 1)4 + (k + 2)4 é divisível por 9. 
Feedback 
Sua resposta está correta. 
A resposta correta é: Hipótese de indução: k3 + (k + 1)3 + (k + 2)3 é divisível por 9; tese da 
indução: (k + 1)3 + (k + 2)3 + (k + 3)3 é divisível por 9.. 
 
Questão 1 
Correto 
Marcar questão 
Texto da questão 
Considere a sentença: "Antônio não é baiano e Antônio não é cearense." A 
negação desta proposição é: 
Escolha uma: 
a. Antônio não é baiano ou Antônio não é cearense. 
b. Antônio é baiano e Antônio é cearense. 
c. Antônio é baiano ou Antônio é cearense. 
 
d. Antônio não é baiano e Antônio é cearense. 
e. Antônio é baiano e Antônio não é cearense. 
Feedback 
Sua resposta está correta. 
A resposta correta é: Antônio é baiano ou Antônio é cearense.. 
Questão 2 
Correto 
Marcar questão 
Texto da questão 
Ao negar a proposição: “Todo homem é honesto”, obtém-se: 
Escolha uma: 
a. Existe pelo menos um homem desonesto. 
Cap. 08 - Quantificadores e sentenças abertas 
Comentário: 
Para negar o quantificador universal, basta exibir a existência de um homem que não 
verifica a condição. Assim, a alternativa correta é Existe pelo menos um homem desonesto 
b. Qualquer que seja o homem, ele será desonesto. 
c. Nenhum homem é honesto. 
d. Existem homens honestos. 
e. Todo homem é desonesto. 
Feedback 
Sua resposta está correta. 
A resposta correta é: Existepelo menos um homem desonesto.. 
Questão 3 
Incorreto 
Marcar questão 
Texto da questão 
São técnicas de demonstração validas em matemática, exceto: 
Escolha uma: 
a. Demonstração por redução ao absurdo. 
b. Demonstração direta. 
Cap. 09 - Métodos de demonstração 
Comentário: 
Observe nas alternativas que a única não verdadeira é a verificação numérica pois não 
garante ser válida para todos os valores. 
c. Demonstração por verificação numérica. 
d. Demonstração por exaustão. 
e. Demonstração pela contrapositiva. 
Feedback 
Sua resposta está incorreta. 
A resposta correta é: Demonstração por verificação numérica.. 
Questão 4 
Correto 
Marcar questão 
Texto da questão 
A negação da proposição (∀ x N) (2x < 103) será: 
Escolha uma: 
a. 
(∀ x N) (2x ≤ 103) 
b. (∃ x N) (2x ≥ 103) 
 
c. (∃ x N) (2x < 103) 
d. 
(∀ x N) (2x ≥ 103) 
e. (∃ x N) (2x ≤ 103) 
Feedback 
Sua resposta está correta. 
A resposta correta é: (∃ x N) (2x ≥ 103). 
Questão 5 
Incorreto 
Marcar questão 
Texto da questão 
A demonstração direta realiza-se fazendo: 
Escolha uma: 
a. Quando, para provarmos um teorema, evidenciamos a negação, pois são formas 
equivalentes. 
b. Quando admitimos a hipótese verdadeira, e supor a negação da tese e concluir uma 
contradição. 
Cap. 09 - Métodos de demonstração 
Comentário: 
A forma de demonstração direta é: 
Quando admitimos verdadeira a hipótese e, utilizando-a comprovamos ser verdadeira a 
tese. 
c. Quando admitindo falsa a hipótese e, utilizando-a comprova-se ser verdadeira a tese. 
d. Quando admitimos verdadeira a hipótese e, utilizando-a comprovamos ser verdadeira a 
tese. 
e. Quando admitimos verdadeira a hipótese e, utilizando-a comprovamos ser falsa a tese. 
Feedback 
Sua resposta está incorreta. 
A resposta correta é: Quando admitimos verdadeira a hipótese e, utilizando-a 
comprovamos ser verdadeira a tese.. 
Questão 6 
Correto 
Marcar questão 
Texto da questão 
Considere a seguinte afirmativa: Se Jorge é professor, então é inteligente. A 
Contrapositiva desta proposição é: 
Escolha uma: 
a. Se Jorge não é inteligente, então é professor. 
b. Se Jorge é inteligente, então é professor. 
c. Se Jorge é inteligente, então não é professor. 
d. Se Jorge não é professor, então não é inteligente. 
e. Se Jorge não é inteligente, então não é professor. 
 
Feedback 
Sua resposta está correta. 
A resposta correta é: Se Jorge não é inteligente, então não é professor.. 
Questão 7 
Incorreto 
Marcar questão 
Texto da questão 
Para demonstrar, por indução, que "10n+1 - 9n - 10 é múltiplo de 81 para todo 
positivo n", primeiro mostramos que vale n = 1. Depois supomos por hipótese 
que vale para n = k. A tese da indução será: 
Escolha uma: 
a. 10k+1 − 9 (k +1) − 10 é múltiplo de 81. 
b. 10k+1 − 9k − 10 é múltiplo de 81. 
c. 10k+2 − 9 (k + 1) − 10 é múltiplo de 81. 
d. 10k+1 − 9k + 1 − 10 é múltiplo de 81. 
e. 10k+1 − 9k − 10 é múltiplo de 81 + 1. 
 
Feedback 
Sua resposta está incorreta. 
A resposta correta é: 10k+2 − 9 (k + 1) − 10 é múltiplo de 81.. 
Questão 8 
Incorreto 
Marcar questão 
Texto da questão 
Considere a seguinte proposição: “para todo inteiro n, n > 0, o inteiro 9n - 1 é 
divisível por 8.” Na segunda parte da demonstração temos que: 
Escolha uma: 
a. Hipótese de indução: 2k + 1 < 2k ; tese da indução: 2k + 3 < 2k+1. 
b. Hipótese de indução: 2k < 2k ; tese da indução: 2k + 1 < 2k. 
c. Hipótese de indução: 2k + 1 < 2k ; tese da indução: 2k + 2 < 2k+1. 
 
d. Hipótese de indução: 2k < 2k ; tese da indução: 2k + 3 < 2k+1. 
e. Hipótese de indução: 2k + 1 < 2k ; tese da indução: 2k + 1 < 2k+1. 
Feedback 
Sua resposta está incorreta. 
A resposta correta é: Hipótese de indução: 2k + 1 < 2k ; tese da indução: 2k + 3 < 2k+1.. 
Questão 9 
Incorreto 
Marcar questão 
Texto da questão 
Qual das afirmativas abaixo é logicamente equivalente a “Se estudo então 
aprendo”? 
Escolha uma: 
a. Se aprendo então estudo. 
b. Estudo ou não aprendo. 
c. Se não aprendo então não estudo. 
d. Só se estudo então aprendo. 
e. Se não estudo então não aprendo. 
Cap. 10 - Indução matemática 
Comentário: 
Observando as alternativas temos em 
Se não aprendo então não estudo. 
a contrapositiva da afirmativa e a contrapositiva é logicamente equivalente a proposição. 
Feedback 
Sua resposta está incorreta. 
A resposta correta é: Se não aprendo então não estudo.. 
Questão 10 
Correto 
Marcar questão 
Texto da questão 
No teorema: “se um triângulo é isósceles, então a mediana coincide com a 
bissetriz interna,” temos: 
Escolha uma: 
a. A hipótese é a mediana de um triângulo isóscele; a tese é que a bissetriz interna. 
b. A hipótese é que quando a mediana coincide com a bissetriz interna; a tese é que o 
triângulo é isóscele. 
c. A hipótese é que quando o triângulo não é isóscele; a tese é que a mediana não coincide 
com a bissetriz interna. 
d. A hipótese é que quando o triângulo é isóscele; a tese é que a mediana coincide com a 
bissetriz interna. 
Cap. 10 - Indução matemática 
Comentário: 
O teorema descrito na forma “se hipótese então tese”. Assim a alternativa correta é 
A hipótese é que quando o triângulo é isóscele; a tese é que a mediana coincide com a 
bissetriz interna. 
e. A hipótese é que quando a mediana não coincide com a bissetriz interna; a tese é que o 
triângulo não é isóscele. 
Feedback 
Sua resposta está correta. 
A resposta correta é: A hipótese é que quando o triângulo é isóscele; a tese é que a 
mediana coincide com a bissetriz interna.. 
Questão 1 
Correto 
Marcar questão 
Texto da questão 
Das proposições seguintes qual delas tem o valor lógico falso? 
Escolha uma: 
a. Os raios são descargas elétricas que podem subir da terra 
b. A província do Paraná foi criada no império quando foi desmembrada de São Paulo 
c. A lua é um satélite natural da terra 
d. O Brasil foi uma colônia de Portugal 
e. O Brasil nunca ganhou medalha de ouro no futebol das Olimpíadas 
Cap. 01 - Introducao a Logica, cálculo proposicional 
Comentário 
A única proposição falsa é 
O Brasil nunca ganhou medalha de ouro no futebol das Olimpíadas.pois o Brasil ganhou a 
medalha de ouro nas Olimpíadas RIO 2016 
 
Feedback 
Sua resposta está correta. 
A resposta correta é: O Brasil nunca ganhou medalha de ouro no futebol das Olimpíadas. 
Questão 2 
Correto 
Marcar questão 
Texto da questão 
Ou Lógica é fácil, ou Jorge não gosta de Lógica. Por outro lado, se Matemática 
não é difícil, então Lógica é difícil. Daí segue-se que, se Jorge gosta de Lógica. 
Nestas condições pode-se afirmar que: 
Escolha uma: 
a. Lógica é fácil e Matemática é difícil 
Cap. 01 - Introducao a Logica, cálculo proposicional 
Comentário 
Observe na proposição que temos a disjunção exclusiva, o ou exclusivo (ou .... ou ...). Assim, 
como Jorge gosta de lógica, conclui-se que Lógica é fácil. Por outro lado, a contra positiva 
da proposição “se Matemática não é difícil, então Lógica é difícil” é “Se Lógica é fácil, então 
Matemática é difícil”. Assim a alternativa correta é Lógica é fácil e Matemática é difícil. 
b. Lógica é difícil e Matemática é difícil 
c. Lógica é difícil ou Matemática é fácil 
d. Lógica é fácil e Matemática é fácil 
e. Se Matemática é difícil, então Lógica é difícil 
Feedback 
Sua resposta está correta. 
A resposta correta é: Lógica é fácil e Matemática é difícil. 
Questão 3 
Correto 
Marcar questão 
Texto da questão 
Considere as proposições: 
 p: Jorge fala Frances 
 q: Jorge nasceu no Brasil 
Traduzindo para a linguagem simbólica aproposição “Jorge fala Frances e 
nasceu no Brasil” tem-se: 
Escolha uma: 
a. 
p → ~ q 
b. p V q 
c. 
 
 p → q 
d. 
 p ↔ q 
e. 
 p Λ q 
 
Feedback 
Sua resposta está correta. 
A resposta correta é: 
 p Λ q 
. 
Questão 4 
Correto 
Marcar questão 
Texto da questão 
Sendo p, a proposição Paulo é paranaense e q, a proposição Jorge é gaúcho, ao 
traduzir para a linguagem simbólica a proposição “se Paulo não é paranaense, 
então Jorge é gaúcho”, tem-se 
Escolha uma: 
a. p ↔ ~ q 
b. p → q 
c. ~ p → q 
 
d. p → ~ q 
e. ~ p ↔ q 
Feedback 
Sua resposta está correta. 
A resposta correta é: ~ p → q. 
Questão 5 
Correto 
Marcar questão 
Texto da questão 
A negação da proposição “todos os gatos são pardos” é: 
Escolha uma: 
a. Existem gatos não pardos 
Cap. 03 - Tabelas-verdade 
Comentário 
Para negar que todos os gatos são pardos, basta que um gato não seja pardo. Assim, a 
alternativa correta é 
Existem gatos não pardos. 
b. Todos os gatos não são pardos 
c. A noite todos os gatos são pardos 
d. Existem gatos pardos 
e. Não existe gatos pardos 
Feedback 
Sua resposta está correta. 
A resposta correta é: Existem gatos não pardos. 
Questão 6 
Correto 
Marcar questão 
Texto da questão 
Considere os valores lógicos das proposições p e q dados na tabela seguinte 
p q 
V V 
V F 
F V 
F F 
Construindo a tabela verdade da proposição ~(p V - q), a última coluna será: 
Escolha uma: 
a. VVFF 
b. VFVF 
c. FFVV 
d. VVFV 
e. FFVF 
 
Feedback 
Sua resposta está correta. 
A resposta correta é: FFVF. 
Questão 7 
Correto 
Marcar questão 
Texto da questão 
Considere que as proposições p, é verdadeira, q é falso e r é verdadeira. 
I. p → (q Λ r). 
II. p → (q V r). 
III. (p Λ q) → r. 
Assim, o valor lógico das seguintes proposições compostas será 
respectivamente: 
Escolha uma: 
a. Falso, Falso, Verdade 
b. Falso, Falso, Verdade 
c. Verdade, Verdade, Falso 
d. Falso, Verdade, Verdade 
 
e. Verdade, Falso, Falso 
Feedback 
Sua resposta está correta. 
A resposta correta é: Falso, Verdade, Verdade. 
Questão 8 
Correto 
Marcar questão 
Texto da questão 
Considere as seguintes proposições: 
I. Todos os gatos são pardos 
II.Salvador é a cidade de maior população negra do mundo. 
III.Os primeiros Jogos Olímpicos da era moderna ocorreram em Atenas na 
Grécia. 
Os valores lógicos das proposições são respectivamente 
 
Escolha uma: 
a. VVF 
b. FVV 
 
Cap. 03 - Tabelas-verdade 
Comentário 
A resposta correta é FVV, pois nem todos os gatos são pardos, mas as demais são 
verdadeiras. 
c. VFF 
d. FFV 
e. VVV 
Feedback 
Sua resposta está correta. 
A resposta correta é: FVV. 
Questão 9 
Correto 
Marcar questão 
Texto da questão 
considere os valores lógicos das proposições p e q dados na tabela seguinte 
p q 
V V 
V F 
F V 
F F 
Construindo a tabela verdade da proposição (~p → q)↔(p V ~q), a última coluna 
será: 
Escolha uma: 
a. VVFF 
 
b. VVFV 
c. FFVF 
d. FFVV 
e. VFVF 
Feedback 
Sua resposta está correta. 
A resposta correta é: VVFF. 
Questão 10 
Correto 
Marcar questão 
Texto da questão 
Considere os valores lógicos das proposições p e q dados na tabela seguinte 
p q 
V V 
V F 
F V 
F F 
Construindo a tabela verdade da proposição (~p Λ ~q) → (p V q), a última 
coluna será: 
Escolha uma: 
a. FFVV 
b. VVFF 
c. FFVF 
d. VVFV 
 
e. VFVF 
Feedback 
Sua resposta está correta. 
A resposta correta é: VVFV. 
 
Questão 1 
Correto 
Marcar questão 
Texto da questão 
Ao negar a proposição: “Todo homem é honesto”, obtém-se: 
Escolha uma: 
a. Nenhum homem é honesto. 
b. Existe pelo menos um homem desonesto. 
Cap. 08 - Quantificadores e sentenças abertas 
Comentário: 
Para negar o quantificador universal, basta exibir a existência de um homem que não 
verifica a condição. Assim, a alternativa correta é Existe pelo menos um homem desonesto 
c. Qualquer que seja o homem, ele será desonesto. 
d. Todo homem é desonesto. 
e. Existem homens honestos. 
Feedback 
Sua resposta está correta. 
A resposta correta é: Existe pelo menos um homem desonesto.. 
Questão 2 
Correto 
Marcar questão 
Texto da questão 
São técnicas de demonstração validas em matemática, exceto: 
Escolha uma: 
a. Demonstração pela contrapositiva. 
b. Demonstração por exaustão. 
c. Demonstração por verificação numérica. 
Cap. 09 - Métodos de demonstração 
Comentário: 
Observe nas alternativas que a única não verdadeira é a verificação numérica pois não 
garante ser válida para todos os valores. 
d. Demonstração direta. 
e. Demonstração por redução ao absurdo. 
Feedback 
Sua resposta está correta. 
A resposta correta é: Demonstração por verificação numérica.. 
Questão 3 
Correto 
Marcar questão 
Texto da questão 
Considere a sentença: "Antônio não é baiano e Antônio não é cearense." A 
negação desta proposição é: 
Escolha uma: 
a. Antônio não é baiano e Antônio é cearense. 
b. Antônio é baiano e Antônio não é cearense. 
c. Antônio é baiano ou Antônio é cearense. 
 
d. Antônio é baiano e Antônio é cearense. 
e. Antônio não é baiano ou Antônio não é cearense. 
Feedback 
Sua resposta está correta. 
A resposta correta é: Antônio é baiano ou Antônio é cearense.. 
Questão 4 
Correto 
Marcar questão 
Texto da questão 
Dado o conjunto A = {0,1,2,3,4,5,6,7,8,9}, vamos considerar as seguintes 
proposições: 
I. (∀ x ∈ A) (∃ y ∈ A) (x + y < 10) 
II. (∀ x ∈ A) (∀ y ∈ A) (x + y < 10) 
III. (∃ x ∈ A) (∃ y ∈ A) (x + y < 10) 
Considerando o valor lógico de cada proposição temos, respectivamente: 
Escolha uma: 
a. 
Verdadeiro, Verdadeiro, Falso. 
b. 
Falso, Falso, Verdadeiro. 
c. 
Falso ,Verdadeiro, Falso. 
d. 
Verdadeiro, Falso, Falso. 
e. 
Verdadeiro, Falso, Verdadeiro. 
 
Cap. 08 - Quantificadores e sentenças abertas 
Comentário: 
Observe que as sentenças I e III são verdadeiros pois qualquer que seja o valor escolhido 
em A, sempre existe outro valor que somado resulta em um valor menor que 10. A 
sentença II é falsa, pois se considerar x=5 e y=6 não será verdadeiro que x+y<10 e a 
sentença diz para todo x e para todo y. Assim, a alternativa correta é Verdadeiro, Falso, 
Verdadeiro. 
Feedback 
Sua resposta está correta. 
A resposta correta é: 
Verdadeiro, Falso, Verdadeiro.. 
Questão 5 
Correto 
Marcar questão 
Texto da questão 
Considere as seguintes proposições: 
I. “Todos os X são Y; todos os Y são Z; logo, todos os X são Z”. 
II. “Na escola A, a maioria dos professores são doutores; X leciona 
em A; logo, X é doutor." 
 
 
Escolha uma: 
a. O primeiro é um exemplo de um argumento classificado como válido pela lógica 
dedutiva. O segundo é um argumento que não é classificado como válido pela lógica 
dedutiva, denominado indutivo. 
Cap. 10 - Indução matemática 
Comentário: 
Observe que o primeiro caso é um exemplo típico de raciocínio dedutivo, pois usa as 
premissas para tirar uma conclusão verdadeira. O segundo argumento não pode ser 
classificado com um valor lógico pela lógica dedutiva, sendo então um raciocínio indutivo. 
Assim, a alternativa correta é 
O primeiro é um exemplo de um argumento classificado como válido pela lógica dedutiva. 
O segundo é um argumento que não é classificado como válido pela lógica dedutiva, 
denominado indutivo. 
b. O segundo argumento apenas estaria correto com a redação seguinte: "Na escola A, a 
maioria dos professores sãodoutores; X leciona em A; logo X não é doutor. 
c. O primeiro argumento não é válido. Seria válido, no entanto, enunciar: "Todos os X são Y; 
todos os Y são Z; logo, todos os Y são X." 
d. O primeiro é um exemplo de um argumento indutivo. O segundo é um típico argumento 
dedutivo. 
e. Ambos são argumentos dedutivos. 
Feedback 
Sua resposta está correta. 
A resposta correta é: O primeiro é um exemplo de um argumento classificado como válido 
pela lógica dedutiva. O segundo é um argumento que não é classificado como válido pela 
lógica dedutiva, denominado indutivo.. 
Questão 6 
Correto 
Marcar questão 
Texto da questão 
Considere a seguinte proposição: “para todo inteiro n, n > 0, o inteiro 9n - 1 é 
divisível por 8.” Na segunda parte da demonstração temos que: 
Escolha uma: 
a. Hipótese de indução: 2k < 2k ; tese da indução: 2k + 3 < 2k+1. 
b. Hipótese de indução: 2k + 1 < 2k ; tese da indução: 2k + 3 < 2k+1. 
 
c. Hipótese de indução: 2k + 1 < 2k ; tese da indução: 2k + 1 < 2k+1. 
d. Hipótese de indução: 2k < 2k ; tese da indução: 2k + 1 < 2k. 
e. Hipótese de indução: 2k + 1 < 2k ; tese da indução: 2k + 2 < 2k+1. 
Feedback 
Sua resposta está correta. 
A resposta correta é: Hipótese de indução: 2k + 1 < 2k ; tese da indução: 2k + 3 < 2k+1.. 
Questão 7 
Correto 
Marcar questão 
Texto da questão 
Para provar que uma função é injetora devemos mostrar que ∀x, y R, se x ≠ y ⇒ 
ƒ(x) ≠ ƒ(y). Em geral, para provar esta proposição usamos sua forma 
contrapositiva, ou seja: 
Escolha uma: 
a. ∀ x, y ∈ R, se x ≠ y ⇒ f (x) = f (y) 
b. ∀ x, y ∈ R, se f (x) ≠ f (y) ⇒ x ≠ y 
c. ∀ x, y ∈ R, se f (x) = f (y) ⇒ x ≠ y 
d. 
 
∀ x, y ∈ R, se f (x) = f (y) ⇒ x = y 
 
e. ∀ x, y ∈ R, se x = y ⇒ f (x) = f (y) 
Feedback 
Sua resposta está correta. 
A resposta correta é: 
 
∀ x, y ∈ R, se f (x) = f (y) ⇒ x = y 
. 
Questão 8 
Correto 
Marcar questão 
Texto da questão 
Para demonstrar, por indução, que "10n+1 - 9n - 10 é múltiplo de 81 para todo 
positivo n", primeiro mostramos que vale n = 1. Depois supomos por hipótese 
que vale para n = k. A tese da indução será: 
Escolha uma: 
a. 10k+1 − 9k − 10 é múltiplo de 81. 
b. 10k+1 − 9 (k +1) − 10 é múltiplo de 81. 
c. 10k+1 − 9k − 10 é múltiplo de 81 + 1. 
d. 10k+1 − 9k + 1 − 10 é múltiplo de 81. 
e. 10k+2 − 9 (k + 1) − 10 é múltiplo de 81. 
 
Feedback 
Sua resposta está correta. 
A resposta correta é: 10k+2 − 9 (k + 1) − 10 é múltiplo de 81.. 
Questão 9 
Correto 
Marcar questão 
Texto da questão 
Para mostrar, por indução, que a soma dos cubos de três números naturais 
consecutivos é sempre divisível por 9, temos na segunda parte da 
demonstração, que: 
Escolha uma: 
a. Hipótese de indução: k3 é divisível por 9; tese da indução: (k + 1)3 é divisível por 9. 
b. 
Hipótese de indução: k3 + (k + 1)3 + (k + 2)3 é divisível por 9; tese da indução: k4 + 
(k + 1)4 + (k + 2)4 é divisível por 9. 
c. Hipótese de indução: k3 + (k + 1)3 é divisível por 9; tese da indução: (k + 1)3 + (k + 2)3 é 
divisível por 9. 
d. Hipótese de indução: k3 + (k + 1)3 + (k + 2)3 é divisível por 9; tese da indução: (k + 1)3 + 
(k + 2)3 + (k + 3)3 é divisível por 9. 
 
e. Hipótese de indução: 3k3 é divisível por 9; tese da indução: 3 (k + 1)3 é divisível por 9. 
Feedback 
Sua resposta está correta. 
A resposta correta é: Hipótese de indução: k3 + (k + 1)3 + (k + 2)3 é divisível por 9; tese da 
indução: (k + 1)3 + (k + 2)3 + (k + 3)3 é divisível por 9.. 
Questão 10 
Correto 
Marcar questão 
Texto da questão 
Qual das afirmativas abaixo é logicamente equivalente a “Se estudo então 
aprendo”? 
Escolha uma: 
a. Só se estudo então aprendo. 
b. Se aprendo então estudo. 
c. Se não estudo então não aprendo. 
d. Estudo ou não aprendo. 
e. Se não aprendo então não estudo. 
Cap. 10 - Indução matemática 
Comentário: 
Observando as alternativas temos em 
Se não aprendo então não estudo. 
a contrapositiva da afirmativa e a contrapositiva é logicamente equivalente a proposição. 
Feedback 
Sua resposta está correta. 
A resposta correta é: Se não aprendo então não estudo..