atividades-matematica-computacional

Prévia do material em texto

30/05/2020 Estácio: Alunos
estacio.webaula.com.br/Classroom/index.asp?191C757E76=4842233C2141B5F19DC3C07E007D5F6656FE96C552DDA5ED2324AE618F0722… 1/4
 
Considere a proposição p: "Alice é professora de matemática". Sua negação será:
Considere as proposições:
p: A Terra é um planeta
 q: A Terra gira em torno do Sol
Traduza para linguagem simbólica a proposição "Não é verdade que a Terra é um planeta ou gira em torno do Sol"
MATEMÁTICA COMPUTACIONAL 
Lupa Calc.
 
 
Vídeo
 
PPT
 
MP3
 
CCT0750_A6_201907316523_V1 
 
Aluno: JENNYFFER NOVAES DE MORAIS Matr.: 201907316523
Disc.: MATEMÁTICA COMPUTAC. 2020.1 EAD (GT) / EX
 
Prezado (a) Aluno(a),
 
Você fará agora seu TESTE DE CONHECIMENTO! Lembre-se que este exercício é opcional, mas não valerá ponto para sua
avaliação. O mesmo será composto de questões de múltipla escolha.
Após responde cada questão, você terá acesso ao gabarito comentado e/ou à explicação da mesma. Aproveite para se
familiarizar com este modelo de questões que será usado na sua AV e AVS.
 
1.
Alice não é professora de matemática
Alice foi professora de matemática
Alice será professora de matemática
Alice é professora de matemática
Alice pode ser professora de matemática
 
 
 
Explicação:
A negação será dada por ~p ou "Alice não é professora de matemática"
 
 
 
 
2.
nenhuma das alternativas anteriores
 
 
 
Explicação:
Há dois conectivos: a negação e a união
p ∧ q
¬(p ∧ q)
p ∨ q
¬(p ∨ q)
javascript:voltar();
javascript:voltar();
javascript:diminui();
javascript:aumenta();
javascript:calculadora_on();
javascript:abre_frame('1','6','','','315373131');
javascript:abre_frame('2','6','','','315373131');
javascript:abre_frame('3','6','','','315373131');
30/05/2020 Estácio: Alunos
estacio.webaula.com.br/Classroom/index.asp?191C757E76=4842233C2141B5F19DC3C07E007D5F6656FE96C552DDA5ED2324AE618F0722… 2/4
Uma proposição composta em que o valor depende dos valores das proposições simples que a compõem é também
conhecida como um(a):
Considere as proposições:
p - está frio
q - Está chovendo
Traduza para a linguagem natural a proposição 
Uma proposição sempre verdadeira é também conhecida como:
Uma proposição composta que é sempre falsa também é conhecida como um(a):
 
 
 
 
3.
tautologia
contradição
predicado
conectivo
contingência
 
 
 
Explicação:
O enunciado traz a definição de contingência, conforme descrito em BROCHI, p. 141.
 
 
 
 
4.
Está frio e não está chovendo.
Não está frio ou não está chovendo.
Está frio ou não está chovendo.
Está frio ou está chovendo.
Está frio e está chovendo.
 
 
 
Explicação:
Os conectivos indicados são OU e NÃO - este último, para a proposição q.
 
 
 
 
5.
equivalência
implicação
contradição
contingência
tautologia
 
 
 
Explicação:
O enunciado traz a definição de tautologia, conforme indicado em BROCHI, p. 141.
 
 
 
 
6.
p ∨ ¬q
30/05/2020 Estácio: Alunos
estacio.webaula.com.br/Classroom/index.asp?191C757E76=4842233C2141B5F19DC3C07E007D5F6656FE96C552DDA5ED2324AE618F0722… 3/4
Considere as proposições:
p: A Terra é um planeta
 q: A Terra gira em torno do Sol
Traduza para linguagem simbólica a proposição "Se a Terra é um planeta, então a Terra gira em torno do Sol"
Considere as proposições:
p: A Terra é um planeta
 q: A Terra gira em torno do Sol
Traduza para linguagem simbólica a proposição "A Terra não é nem um planeta e nem gira em torno do Sol"
contradição
contingência
equivalência
predicado
tautologia
 
 
 
Explicação:
O enunciado traz a definição de contradição, conforme exposto em BROCHI, p. 141.
 
 
 
 
7.
nenhuma das alternativas anteriores
 
 
 
Explicação:
O texto em linguagem natural trata de uma implicação.
 
 
 
 
8.
 
 
 
Explicação:
O enunciado traz a negação das duas proposições, bem como a interseção das proposições simples resultantes destas
negações.
 
 
 
 
 
 
 
 Não Respondida Não Gravada Gravada
 
 
p ⟹ q
p ∧ q
p ⟺ q
p ∨ q
p ∧ ¬q
¬p ∧ q
¬p ∧ ¬q
¬p ∨ ¬q
¬p ∨ q
javascript:abre_colabore('36890','196976690','3944419045');
30/05/2020 Estácio: Alunos
estacio.webaula.com.br/Classroom/index.asp?191C757E76=4842233C2141B5F19DC3C07E007D5F6656FE96C552DDA5ED2324AE618F0722… 4/4
Exercício inciado em 30/05/2020 12:28:33. 
 
 
 
30/05/2020 Estácio: Alunos
estacio.webaula.com.br/Classroom/index.asp?191C757E76=4842233C2141B5F19DC3C07E007D5F6656FE96C552DDA5ED2324AE618F0722… 1/4
 
Considere a proposição p: "Alice é professora de matemática". Sua negação será:
Uma proposição composta em que o valor depende dos valores das proposições simples que a compõem é também
conhecida como um(a):
MATEMÁTICA COMPUTACIONAL 
Lupa Calc.
 
 
Vídeo
 
PPT
 
MP3
 
CCT0750_A6_201907316523_V2 
 
Aluno: JENNYFFER NOVAES DE MORAIS Matr.: 201907316523
Disc.: MATEMÁTICA COMPUTAC. 2020.1 EAD (GT) / EX
 
Prezado (a) Aluno(a),
 
Você fará agora seu TESTE DE CONHECIMENTO! Lembre-se que este exercício é opcional, mas não valerá ponto para sua
avaliação. O mesmo será composto de questões de múltipla escolha.
Após responde cada questão, você terá acesso ao gabarito comentado e/ou à explicação da mesma. Aproveite para se
familiarizar com este modelo de questões que será usado na sua AV e AVS.
 
1.
Alice foi professora de matemática
Alice pode ser professora de matemática
Alice não é professora de matemática
Alice é professora de matemática
Alice será professora de matemática
 
 
 
Explicação:
A negação será dada por ~p ou "Alice não é professora de matemática"
 
 
 
 
2.
tautologia
predicado
conectivo
contradição
contingência
 
 
 
Explicação:
O enunciado traz a definição de contingência, conforme descrito em BROCHI, p. 141.
 
 
 
javascript:voltar();
javascript:voltar();
javascript:diminui();
javascript:aumenta();
javascript:calculadora_on();
javascript:abre_frame('1','6','','','315373131');
javascript:abre_frame('2','6','','','315373131');
javascript:abre_frame('3','6','','','315373131');
30/05/2020 Estácio: Alunos
estacio.webaula.com.br/Classroom/index.asp?191C757E76=4842233C2141B5F19DC3C07E007D5F6656FE96C552DDA5ED2324AE618F0722… 2/4
Considere as proposições:
p - está frio
q - Está chovendo
Traduza para a linguagem natural a proposição 
Considere as proposições:
p: A Terra é um planeta
 q: A Terra gira em torno do Sol
Traduza para linguagem simbólica a proposição "A Terra não é nem um planeta e nem gira em torno do Sol"
Considere as proposições p="Isabela é morena" e q="Isabela é alta". A proposicão composta p^q será:
Considere as proposições:
 
3.
Não está frio ou não está chovendo.
Está frio e não está chovendo.
Está frio ou está chovendo.
Está frio e está chovendo.
Está frio ou não está chovendo.
 
 
 
Explicação:
Os conectivos indicados são OU e NÃO - este último, para a proposição q.
 
 
 
 
4.
 
 
 
Explicação:
O enunciado traz a negação das duas proposições, bem como a interseção das proposições simples resultantes destas
negações.
 
 
 
 
5.
Isabela é morena ou alta
Se Isabela é morena, então é alta
Isabela não é morena e é alta
Isabela é morena e alta
Isabela é morena, se e somente se, for alta
 
 
 
Explicação:
Isabela é morena e alta pois o símbolo "^" representa o conectivo de adição "e".
 
 
 
 
6.
p ∨ ¬q
¬p ∨ q
¬p ∧ q
¬p ∧ ¬q
¬p ∨ ¬q
p ∧ ¬q
30/05/2020 Estácio: Alunos
estacio.webaula.com.br/Classroom/index.asp?191C757E76=4842233C2141B5F19DC3C07E007D5F6656FE96C552DDA5ED2324AE618F0722… 3/4
p: A Terra é um planeta
 q: A Terra gira em torno do Sol
Traduza para linguagem simbólica a proposição "Não é verdade que a Terra é um planeta ou gira em torno do Sol"
Uma proposição composta que é sempre falsa também é conhecida como um(a):
Uma proposição sempre verdadeira é também conhecida como:
nenhuma das alternativas anteriores
 
 
 
Explicação:
Há dois conectivos: a negação e a união
 
 
 
 
7.
predicado
contradição
tautologia
contingência
equivalência
 
 
 
Explicação:
O enunciado traz a definição de contradição, conforme exposto em BROCHI,p. 141.
 
 
 
 
8.
implicação
equivalência
contradição
tautologia
contingência
 
 
 
Explicação:
O enunciado traz a definição de tautologia, conforme indicado em BROCHI, p. 141.
 
 
 
 
 
 
 
 Não Respondida Não Gravada Gravada
 
 
Exercício inciado em 30/05/2020 13:04:27. 
 
p ∧ q
p ∨ q
¬(p ∨ q)
¬(p ∧ q)
javascript:abre_colabore('36890','196983949','3944603304');
30/05/2020 Estácio: Alunos
estacio.webaula.com.br/Classroom/index.asp?191C757E76=4842233C2141B5F19DC3C07E007D5F6656FE96C552DDA5ED2324AE618F0722… 4/4
 
 
30/05/2020 Estácio: Alunos
estacio.webaula.com.br/Classroom/index.asp?191C757E76=4842233C2141B5F19DC3C07E007D5F6656FE96C552DDA5ED2324AE618F0722… 1/4
 
Considere as proposições:
p: A Terra é um planeta
 q: A Terra gira em torno do Sol
Traduza para linguagem simbólica a proposição "Não é verdade que a Terra é um planeta ou gira em torno do Sol"
Considere as proposições p="Isabela é morena" e q="Isabela é alta". A proposicão composta p^q será:
MATEMÁTICA COMPUTACIONAL 
Lupa Calc.
 
 
Vídeo
 
PPT
 
MP3
 
CCT0750_A6_201907316523_V3 
 
Aluno: JENNYFFER NOVAES DE MORAIS Matr.: 201907316523
Disc.: MATEMÁTICA COMPUTAC. 2020.1 EAD (GT) / EX
 
Prezado (a) Aluno(a),
 
Você fará agora seu TESTE DE CONHECIMENTO! Lembre-se que este exercício é opcional, mas não valerá ponto para sua
avaliação. O mesmo será composto de questões de múltipla escolha.
Após responde cada questão, você terá acesso ao gabarito comentado e/ou à explicação da mesma. Aproveite para se
familiarizar com este modelo de questões que será usado na sua AV e AVS.
 
1.
nenhuma das alternativas anteriores
 
 
 
Explicação:
Há dois conectivos: a negação e a união
 
 
 
 
2.
Isabela é morena e alta
Isabela é morena ou alta
Se Isabela é morena, então é alta
Isabela não é morena e é alta
Isabela é morena, se e somente se, for alta
 
 
 
Explicação:
Isabela é morena e alta pois o símbolo "^" representa o conectivo de adição "e".
¬(p ∧ q)
p ∧ q
p ∨ q
¬(p ∨ q)
javascript:voltar();
javascript:voltar();
javascript:diminui();
javascript:aumenta();
javascript:calculadora_on();
javascript:abre_frame('1','6','','','315373131');
javascript:abre_frame('2','6','','','315373131');
javascript:abre_frame('3','6','','','315373131');
30/05/2020 Estácio: Alunos
estacio.webaula.com.br/Classroom/index.asp?191C757E76=4842233C2141B5F19DC3C07E007D5F6656FE96C552DDA5ED2324AE618F0722… 2/4
Uma proposição composta em que o valor depende dos valores das proposições simples que a compõem é também
conhecida como um(a):
Considere as proposições:
p - está frio
q - Está chovendo
Traduza para a linguagem natural a proposição 
Uma proposição sempre verdadeira é também conhecida como:
Uma proposição composta que é sempre falsa também é conhecida como um(a):
 
 
 
 
3.
contradição
predicado
tautologia
conectivo
contingência
 
 
 
Explicação:
O enunciado traz a definição de contingência, conforme descrito em BROCHI, p. 141.
 
 
 
 
4.
Está frio ou está chovendo.
Está frio e está chovendo.
Não está frio ou não está chovendo.
Está frio ou não está chovendo.
Está frio e não está chovendo.
 
 
 
Explicação:
Os conectivos indicados são OU e NÃO - este último, para a proposição q.
 
 
 
 
5.
contingência
implicação
equivalência
contradição
tautologia
 
 
 
Explicação:
O enunciado traz a definição de tautologia, conforme indicado em BROCHI, p. 141.
 
 
 
 
6.
p ∨ ¬q
30/05/2020 Estácio: Alunos
estacio.webaula.com.br/Classroom/index.asp?191C757E76=4842233C2141B5F19DC3C07E007D5F6656FE96C552DDA5ED2324AE618F0722… 3/4
Considere as proposições:
p: A Terra é um planeta
 q: A Terra gira em torno do Sol
Traduza para linguagem simbólica a proposição "Se a Terra é um planeta, então a Terra gira em torno do Sol"
Considere as proposições:
p: A Terra é um planeta
 q: A Terra gira em torno do Sol
Traduza para linguagem simbólica a proposição "A Terra não é nem um planeta e nem gira em torno do Sol"
contradição
equivalência
tautologia
contingência
predicado
 
 
 
Explicação:
O enunciado traz a definição de contradição, conforme exposto em BROCHI, p. 141.
 
 
 
 
7.
nenhuma das alternativas anteriores
 
 
 
Explicação:
O texto em linguagem natural trata de uma implicação.
 
 
 
 
8.
 
 
 
Explicação:
O enunciado traz a negação das duas proposições, bem como a interseção das proposições simples resultantes destas
negações.
 
 
 
 
 
 
 
 Não Respondida Não Gravada Gravada
 
 
p ⟺ q
p ⟹ q
p ∧ q
p ∨ q
¬p ∨ q
¬p ∨ ¬q
¬p ∧ q
¬p ∧ ¬q
p ∧ ¬q
javascript:abre_colabore('36890','196986702','3944675747');
30/05/2020 Estácio: Alunos
estacio.webaula.com.br/Classroom/index.asp?191C757E76=4842233C2141B5F19DC3C07E007D5F6656FE96C552DDA5ED2324AE618F0722… 4/4
Exercício inciado em 30/05/2020 13:17:54. 
 
 
 
30/05/2020 Estácio: Alunos
estacio.webaula.com.br/Classroom/index.asp?191C757E76=4842233C2141B5F19DC3C07E007D5F6656FE96C552DDA5ED2324AE618F0722… 1/4
 
Considere as proposições:
p: A Terra é um planeta
 q: A Terra gira em torno do Sol
Traduza para linguagem simbólica a proposição "Não é verdade que a Terra é um planeta ou gira em torno do Sol"
Considere as proposições p="Isabela é morena" e q="Isabela é alta". A proposicão composta p^q será:
MATEMÁTICA COMPUTACIONAL 
Lupa Calc.
 
 
Vídeo
 
PPT
 
MP3
 
CCT0750_A6_201907316523_V4 
 
Aluno: JENNYFFER NOVAES DE MORAIS Matr.: 201907316523
Disc.: MATEMÁTICA COMPUTAC. 2020.1 EAD (GT) / EX
 
Prezado (a) Aluno(a),
 
Você fará agora seu TESTE DE CONHECIMENTO! Lembre-se que este exercício é opcional, mas não valerá ponto para sua
avaliação. O mesmo será composto de questões de múltipla escolha.
Após responde cada questão, você terá acesso ao gabarito comentado e/ou à explicação da mesma. Aproveite para se
familiarizar com este modelo de questões que será usado na sua AV e AVS.
 
1.
nenhuma das alternativas anteriores
 
 
 
Explicação:
Há dois conectivos: a negação e a união
 
 
 
 
2.
Isabela é morena, se e somente se, for alta
Isabela não é morena e é alta
Isabela é morena e alta
Se Isabela é morena, então é alta
Isabela é morena ou alta
 
 
 
Explicação:
Isabela é morena e alta pois o símbolo "^" representa o conectivo de adição "e".
p ∧ q
¬(p ∧ q)
¬(p ∨ q)
p ∨ q
javascript:voltar();
javascript:voltar();
javascript:diminui();
javascript:aumenta();
javascript:calculadora_on();
javascript:abre_frame('1','6','','','315373131');
javascript:abre_frame('2','6','','','315373131');
javascript:abre_frame('3','6','','','315373131');
30/05/2020 Estácio: Alunos
estacio.webaula.com.br/Classroom/index.asp?191C757E76=4842233C2141B5F19DC3C07E007D5F6656FE96C552DDA5ED2324AE618F0722… 2/4
Uma proposição composta em que o valor depende dos valores das proposições simples que a compõem é também
conhecida como um(a):
Considere as proposições:
p - está frio
q - Está chovendo
Traduza para a linguagem natural a proposição 
Uma proposição sempre verdadeira é também conhecida como:
Uma proposição composta que é sempre falsa também é conhecida como um(a):
 
 
 
 
3.
tautologia
conectivo
predicado
contradição
contingência
 
 
 
Explicação:
O enunciado traz a definição de contingência, conforme descrito em BROCHI, p. 141.
 
 
 
 
4.
Está frio ou não está chovendo.
Está frio ou está chovendo.
Está frio e não está chovendo.
Não está frio ou não está chovendo.
Está frio e está chovendo.
 
 
 
Explicação:
Os conectivos indicados são OU e NÃO - este último, para a proposição q.
 
 
 
 
5.
contingência
implicação
tautologia
contradição
equivalência
 
 
 
Explicação:
O enunciado traz a definição de tautologia, conforme indicado em BROCHI, p. 141.
 
 
 
 
6.
ê
p ∨ ¬q
30/05/2020 Estácio: Alunos
estacio.webaula.com.br/Classroom/index.asp?191C757E76=4842233C2141B5F19DC3C07E007D5F6656FE96C552DDA5ED2324AE618F0722… 3/4
Considere as proposições:
p: A Terra é um planeta
 q: A Terra gira em torno do Sol
Traduza para linguagem simbólica a proposição "Sea Terra é um planeta, então a Terra gira em torno do Sol"
Considere as proposições:
p: A Terra é um planeta
 q: A Terra gira em torno do Sol
Traduza para linguagem simbólica a proposição "A Terra não é nem um planeta e nem gira em torno do Sol"
equivalência
contradição
predicado
contingência
tautologia
 
 
 
Explicação:
O enunciado traz a definição de contradição, conforme exposto em BROCHI, p. 141.
 
 
 
 
7.
nenhuma das alternativas anteriores
 
 
 
Explicação:
O texto em linguagem natural trata de uma implicação.
 
 
 
 
8.
 
 
 
Explicação:
O enunciado traz a negação das duas proposições, bem como a interseção das proposições simples resultantes destas
negações.
 
 
 
 
 
 
 
 Não Respondida Não Gravada Gravada
 
 
í
p ⟹ q
p ∧ q
p ⟺ q
p ∨ q
¬p ∧ q
¬p ∨ ¬q
¬p ∧ ¬q
¬p ∨ q
p ∧ ¬q
javascript:abre_colabore('36890','196989576','3944750988');
30/05/2020 Estácio: Alunos
estacio.webaula.com.br/Classroom/index.asp?191C757E76=4842233C2141B5F19DC3C07E007D5F6656FE96C552DDA5ED2324AE618F0722… 4/4
Exercício inciado em 30/05/2020 13:31:56. 
 
 
 
30/05/2020 Estácio: Alunos
estacio.webaula.com.br/Classroom/index.asp?191C757E76=4842233C2141B5F19DC3C07E007D5F6656FE96C552DDA5ED2324AE618F0722… 1/3
 
x2+8x+16 é equivalente a:
Assinale a ÚNICA alternativa que apresenta o conceito definido como "sequência de proposições p1, p2, ... , pn, pn+1, n ∈
N, em que a conjunção das premissas implica a conclusão":
MATEMÁTICA COMPUTACIONAL 
Lupa Calc.
 
 
Vídeo
 
PPT
 
MP3
 
CCT0750_A7_201907316523_V1 
 
Aluno: JENNYFFER NOVAES DE MORAIS Matr.: 201907316523
Disc.: MATEMÁTICA COMPUTAC. 2020.1 EAD (GT) / EX
 
Prezado (a) Aluno(a),
 
Você fará agora seu TESTE DE CONHECIMENTO! Lembre-se que este exercício é opcional, mas não valerá ponto para sua
avaliação. O mesmo será composto de questões de múltipla escolha.
Após responde cada questão, você terá acesso ao gabarito comentado e/ou à explicação da mesma. Aproveite para se
familiarizar com este modelo de questões que será usado na sua AV e AVS.
 
1.
(x+14)2
(x+8)2
2(x+4)2
(x-4)2
(x+4)2
 
 
 
Explicação:
x2+8x+16=(x+4)2
 
 
 
 
2.
argumento válido
sentença
regra de inferência
predicado
implicação
 
 
 
Explicação:
Enunciado reflete a definição de argumento válido, conforme descrito em BROCHI, p. 144
 
 
javascript:voltar();
javascript:voltar();
javascript:diminui();
javascript:aumenta();
javascript:calculadora_on();
javascript:abre_frame('1','7','','','315373130');
javascript:abre_frame('2','7','','','315373130');
javascript:abre_frame('3','7','','','315373130');
30/05/2020 Estácio: Alunos
estacio.webaula.com.br/Classroom/index.asp?191C757E76=4842233C2141B5F19DC3C07E007D5F6656FE96C552DDA5ED2324AE618F0722… 2/3
Considere as sentenças: p - "Maria é inteligente"; e q - "Maria é ansiosa". Assinale a ÚNICA alternativa que apresenta, em
linguagem simbólica, a proposição composta "Maria é inteligente se e somente se é ansiosa".
x2-6x+9 é equivalente a 
x2+4x+4 é equivalente a :
A implicação (p --> q) ^ p => q é uma propriedade conhecida como:
 
 
3.
p ↔ q
p ∧ q
p → q
p ⇔ q
p v q
 
 
 
Explicação:
p ↔ q é o símbolo que significa "se e somente se".
 
 
 
 
4.
(x-3)2
(x-9)2
3(x-1)2
(x-6)2
(x+3)2
 
 
 
Explicação:
x2-6x+9=(x+3)2
 
 
 
 
5.
(x+2)2
(x-3)2
(x-4)2
4(x+2)2
(x-2)2
 
 
 
Explicação:
x2+4x+4 =(x+2)2
 
 
 
 
6.
Silogismo Disjuntivo
Modus Tollens
Modus Ponens
Silogismo Hipotético
30/05/2020 Estácio: Alunos
estacio.webaula.com.br/Classroom/index.asp?191C757E76=4842233C2141B5F19DC3C07E007D5F6656FE96C552DDA5ED2324AE618F0722… 3/3
Com base nas regras de inferência do cálculo proposicional, complete o texto apresentado a seguir:
Considere as sentenças: p - "Maria é inteligente"; e q - "Maria é ansiosa". Assinale a ÚNICA alternativa que apresenta, em
linguagem simbólica, a proposição composta "Se Maria é inteligente, então ela é ansiosa".
Princípio da Inconsitênca
 
 
 
Explicação:
Regras de Equivalência
 
 
 
 
7.
nenhuma das alternativas anteriores
 
 
 
Explicação:
Emprego da simplificação disjuntiva
 
 
 
 
8.
p v q
p → q
p ↔ q
p ∧ q
p ⇔ q
 
 
 
Explicação:
p → q
 
 
 
 
 
 
 
 Não Respondida Não Gravada Gravada
 
 
Exercício inciado em 30/05/2020 12:31:40. 
 
 
 
p ∨ r, p ∨ ¬r ⟹ . . .
r
p
¬p
¬r
javascript:abre_colabore('36890','196977326','3944432254');
30/05/2020 Estácio: Alunos
estacio.webaula.com.br/Classroom/index.asp?191C757E76=4842233C2141B5F19DC3C07E007D5F6656FE96C552DDA5ED2324AE618F0722… 1/3
 
Considere as sentenças: p - "Maria é inteligente"; e q - "Maria é ansiosa". Assinale a ÚNICA alternativa que apresenta, em
linguagem simbólica, a proposição composta "Se Maria é inteligente, então ela é ansiosa".
x2+8x+16 é equivalente a:
MATEMÁTICA COMPUTACIONAL 
Lupa Calc.
 
 
Vídeo
 
PPT
 
MP3
 
CCT0750_A7_201907316523_V2 
 
Aluno: JENNYFFER NOVAES DE MORAIS Matr.: 201907316523
Disc.: MATEMÁTICA COMPUTAC. 2020.1 EAD (GT) / EX
 
Prezado (a) Aluno(a),
 
Você fará agora seu TESTE DE CONHECIMENTO! Lembre-se que este exercício é opcional, mas não valerá ponto para sua
avaliação. O mesmo será composto de questões de múltipla escolha.
Após responde cada questão, você terá acesso ao gabarito comentado e/ou à explicação da mesma. Aproveite para se
familiarizar com este modelo de questões que será usado na sua AV e AVS.
 
1.
p ⇔ q
p ↔ q
p ∧ q
p → q
p v q
 
 
 
Explicação:
p → q
 
 
 
 
2.
(x+8)2
2(x+4)2
(x+14)2
(x+4)2
(x-4)2
 
 
 
Explicação:
x2+8x+16=(x+4)2
 
 
javascript:voltar();
javascript:voltar();
javascript:diminui();
javascript:aumenta();
javascript:calculadora_on();
javascript:abre_frame('1','7','','','315373130');
javascript:abre_frame('2','7','','','315373130');
javascript:abre_frame('3','7','','','315373130');
30/05/2020 Estácio: Alunos
estacio.webaula.com.br/Classroom/index.asp?191C757E76=4842233C2141B5F19DC3C07E007D5F6656FE96C552DDA5ED2324AE618F0722… 2/3
Assinale a ÚNICA alternativa que apresenta o conceito definido como "sequência de proposições p1, p2, ... , pn, pn+1, n ∈
N, em que a conjunção das premissas implica a conclusão":
x2-6x+9 é equivalente a 
x2+4x+4 é equivalente a :
A implicação (p --> q) ^ p => q é uma propriedade conhecida como:
 
 
3.
argumento válido
predicado
implicação
regra de inferência
sentença
 
 
 
Explicação:
Enunciado reflete a definição de argumento válido, conforme descrito em BROCHI, p. 144
 
 
 
 
4.
(x-9)2
3(x-1)2
(x+3)2
(x-3)2
(x-6)2
 
 
 
Explicação:
x2-6x+9=(x+3)2
 
 
 
 
5.
(x+2)2
(x-4)2
(x-3)2
(x-2)2
4(x+2)2
 
 
 
Explicação:
x2+4x+4 =(x+2)2
 
 
 
 
6.
Silogismo Disjuntivo
Princípio da Inconsitênca
Silogismo Hipotético
Modus Ponens
30/05/2020 Estácio: Alunos
estacio.webaula.com.br/Classroom/index.asp?191C757E76=4842233C2141B5F19DC3C07E007D5F6656FE96C552DDA5ED2324AE618F0722… 3/3
Com base nas regras de inferência do cálculo proposicional, complete o texto apresentado a seguir:
Considere as sentenças: p - "Maria é inteligente"; e q - "Maria é ansiosa". Assinale a ÚNICA alternativa que apresenta, em
linguagem simbólica, a proposição composta "Maria é inteligente se e somente se é ansiosa".
Modus Tollens
 
 
 
Explicação:
Regras de Equivalência
 
 
 
 
7.
nenhuma das alternativas anteriores
 
 
 
Explicação:
Emprego da simplificação disjuntiva
 
 
 
 
8.
p v q
p ↔ q
p → q
p ⇔ q
p ∧ q
 
 
 
Explicação:
p ↔ q é o símbolo que significa "se e somente se".
 
 
 
 
 
 
 
 Não Respondida Não Gravada Gravada
 
 
Exercício inciado em 30/05/2020 13:06:04. 
 
 
 
p ∨ r, p ∨ ¬r ⟹ . . .
¬p
r
¬r
p
javascript:abre_colabore('36890','196984307','3944613260');
30/05/2020 Estácio: Alunos
estacio.webaula.com.br/Classroom/index.asp?191C757E76=4842233C2141B5F19DC3C07E007D5F6656FE96C552DDA5ED2324AE618F0722… 1/3
 
x2-6x+9 é equivalente a 
Considere as sentenças: p - "Maria é inteligente"; e q - "Maria é ansiosa". Assinale a ÚNICA alternativa que apresenta,em
linguagem simbólica, a proposição composta "Maria é inteligente se e somente se é ansiosa".
MATEMÁTICA COMPUTACIONAL 
Lupa Calc.
 
 
Vídeo
 
PPT
 
MP3
 
CCT0750_A7_201907316523_V3 
 
Aluno: JENNYFFER NOVAES DE MORAIS Matr.: 201907316523
Disc.: MATEMÁTICA COMPUTAC. 2020.1 EAD (GT) / EX
 
Prezado (a) Aluno(a),
 
Você fará agora seu TESTE DE CONHECIMENTO! Lembre-se que este exercício é opcional, mas não valerá ponto para sua
avaliação. O mesmo será composto de questões de múltipla escolha.
Após responde cada questão, você terá acesso ao gabarito comentado e/ou à explicação da mesma. Aproveite para se
familiarizar com este modelo de questões que será usado na sua AV e AVS.
 
1.
(x-9)2
(x-3)2
3(x-1)2
(x+3)2
(x-6)2
 
 
 
Explicação:
x2-6x+9=(x+3)2
 
 
 
 
2.
p ⇔ q
p v q
p → q
p ↔ q
p ∧ q
 
 
 
Explicação:
p ↔ q é o símbolo que significa "se e somente se".
 
 
javascript:voltar();
javascript:voltar();
javascript:diminui();
javascript:aumenta();
javascript:calculadora_on();
javascript:abre_frame('1','7','','','315373130');
javascript:abre_frame('2','7','','','315373130');
javascript:abre_frame('3','7','','','315373130');
30/05/2020 Estácio: Alunos
estacio.webaula.com.br/Classroom/index.asp?191C757E76=4842233C2141B5F19DC3C07E007D5F6656FE96C552DDA5ED2324AE618F0722… 2/3
x2+4x+4 é equivalente a :
De acordo com a regra de inferência do Silogismo Disjuntivo, temos que:
A implicação (p --> q) ^ p => q é uma propriedade conhecida como:
Com base nas regras de inferência do cálculo proposicional, complete o texto apresentado a seguir:
 
 
3.
(x+2)2
(x-2)2
4(x+2)2
(x-3)2
(x-4)2
 
 
 
Explicação:
x2+4x+4 =(x+2)2
 
 
 
 
4.
nenhuma das alternativas anteriores
q
 
 
 
Explicação:
Emprego direto da regra de inferência.
 
 
 
 
5.
Silogismo Hipotético
Princípio da Inconsitênca
Modus Tollens
Silogismo Disjuntivo
Modus Ponens
 
 
 
Explicação:
Regras de Equivalência
 
 
 
 
6.
nenhuma das alternativas anteriores
p ∨ q, ¬p ⟹ . . .
p
¬q
¬p
p ∨ r, p ∨ ¬r ⟹ . . .
p
¬r
30/05/2020 Estácio: Alunos
estacio.webaula.com.br/Classroom/index.asp?191C757E76=4842233C2141B5F19DC3C07E007D5F6656FE96C552DDA5ED2324AE618F0722… 3/3
Assinale a ÚNICA alternativa que apresenta o conceito definido como "sequência de proposições p1, p2, ... , pn, pn+1, n ∈
N, em que a conjunção das premissas implica a conclusão":
Considere as sentenças: p - "Maria é inteligente"; e q - "Maria é ansiosa". Assinale a ÚNICA alternativa que apresenta, em
linguagem simbólica, a proposição composta "Se Maria é inteligente, então ela é ansiosa".
 
 
 
Explicação:
Emprego da simplificação disjuntiva
 
 
 
 
7.
regra de inferência
implicação
sentença
argumento válido
predicado
 
 
 
Explicação:
Enunciado reflete a definição de argumento válido, conforme descrito em BROCHI, p. 144
 
 
 
 
8.
p ∧ q
p → q
p ⇔ q
p ↔ q
p v q
 
 
 
Explicação:
p → q
 
 
 
 
 
 
 
 Não Respondida Não Gravada Gravada
 
 
Exercício inciado em 30/05/2020 13:18:59. 
 
 
 
r
¬p
javascript:abre_colabore('36890','196986921','3944682005');
30/05/2020 Estácio: Alunos
estacio.webaula.com.br/Classroom/index.asp?191C757E76=4842233C2141B5F19DC3C07E007D5F6656FE96C552DDA5ED2324AE618F0722… 1/3
 
De acordo com a regra de inferência do Silogismo Disjuntivo, temos que:
Considere as sentenças: p - "Maria é inteligente"; e q - "Maria é ansiosa". Assinale a ÚNICA alternativa que apresenta, em
linguagem simbólica, a proposição composta "Maria é inteligente se e somente se é ansiosa".
MATEMÁTICA COMPUTACIONAL 
Lupa Calc.
 
 
Vídeo
 
PPT
 
MP3
 
CCT0750_A7_201907316523_V4 
 
Aluno: JENNYFFER NOVAES DE MORAIS Matr.: 201907316523
Disc.: MATEMÁTICA COMPUTAC. 2020.1 EAD (GT) / EX
 
Prezado (a) Aluno(a),
 
Você fará agora seu TESTE DE CONHECIMENTO! Lembre-se que este exercício é opcional, mas não valerá ponto para sua
avaliação. O mesmo será composto de questões de múltipla escolha.
Após responde cada questão, você terá acesso ao gabarito comentado e/ou à explicação da mesma. Aproveite para se
familiarizar com este modelo de questões que será usado na sua AV e AVS.
 
1.
q
nenhuma das alternativas anteriores
 
 
 
Explicação:
Emprego direto da regra de inferência.
 
 
 
 
2.
p ↔ q
p → q
p ⇔ q
p v q
p ∧ q
 
 
 
Explicação:
p ↔ q é o símbolo que significa "se e somente se".
 
 
p ∨ q, ¬p ⟹ . . .
p
¬q
¬p
javascript:voltar();
javascript:voltar();
javascript:diminui();
javascript:aumenta();
javascript:calculadora_on();
javascript:abre_frame('1','7','','','315373130');
javascript:abre_frame('2','7','','','315373130');
javascript:abre_frame('3','7','','','315373130');
30/05/2020 Estácio: Alunos
estacio.webaula.com.br/Classroom/index.asp?191C757E76=4842233C2141B5F19DC3C07E007D5F6656FE96C552DDA5ED2324AE618F0722… 2/3
x2-6x+9 é equivalente a 
x2+4x+4 é equivalente a :
A implicação (p --> q) ^ p => q é uma propriedade conhecida como:
Com base nas regras de inferência do cálculo proposicional, complete o texto apresentado a seguir:
 
 
3.
3(x-1)2
(x-3)2
(x+3)2
(x-9)2
(x-6)2
 
 
 
Explicação:
x2-6x+9=(x+3)2
 
 
 
 
4.
4(x+2)2
(x-3)2
(x-2)2
(x+2)2
(x-4)2
 
 
 
Explicação:
x2+4x+4 =(x+2)2
 
 
 
 
5.
Modus Ponens
Modus Tollens
Silogismo Disjuntivo
Princípio da Inconsitênca
Silogismo Hipotético
 
 
 
Explicação:
Regras de Equivalência
 
 
 
 
6.
nenhuma das alternativas anteriores
p ∨ r, p ∨ ¬r ⟹ . . .
r
¬p
¬r
30/05/2020 Estácio: Alunos
estacio.webaula.com.br/Classroom/index.asp?191C757E76=4842233C2141B5F19DC3C07E007D5F6656FE96C552DDA5ED2324AE618F0722… 3/3
Assinale a ÚNICA alternativa que apresenta o conceito definido como "sequência de proposições p1, p2, ... , pn, pn+1, n ∈
N, em que a conjunção das premissas implica a conclusão":
Considere as sentenças: p - "Maria é inteligente"; e q - "Maria é ansiosa". Assinale a ÚNICA alternativa que apresenta, em
linguagem simbólica, a proposição composta "Se Maria é inteligente, então ela é ansiosa".
 
 
 
Explicação:
Emprego da simplificação disjuntiva
 
 
 
 
7.
sentença
regra de inferência
implicação
predicado
argumento válido
 
 
 
Explicação:
Enunciado reflete a definição de argumento válido, conforme descrito em BROCHI, p. 144
 
 
 
 
8.
p v q
p → q
p ⇔ q
p ∧ q
p ↔ q
 
 
 
Explicação:
p → q
 
 
 
 
 
 
 
 Não Respondida Não Gravada Gravada
 
 
Exercício inciado em 30/05/2020 13:33:03. 
 
 
 
p
javascript:abre_colabore('36890','196989776','3944755345');
30/05/2020 Estácio: Alunos
estacio.webaula.com.br/Classroom/index.asp?191C757E76=4842233C2141B5F19DC3C07E007D5F6656FE96C552DDA5ED2324AE618F0722… 1/3
 
Considre N o conjunto Universo qual a solução para 2x+4<6
Assinale a ÚNICA alternativa que apresenta a relação entre os conjuntos universo e verdade em sentenças verdadeiras e
quantificadas com o quantificador universal:
MATEMÁTICA COMPUTACIONAL 
Lupa Calc.
 
 
Vídeo
 
PPT
 
MP3
 
CCT0750_A8_201907316523_V1 
 
Aluno: JENNYFFER NOVAES DE MORAIS Matr.: 201907316523
Disc.: MATEMÁTICA COMPUTAC. 2020.1 EAD (GT) / EX
 
Prezado (a) Aluno(a),
 
Você fará agora seu TESTE DE CONHECIMENTO! Lembre-se que este exercício é opcional, mas não valerá ponto para sua
avaliação. O mesmo será composto de questões de múltipla escolha.
Após responde cada questão, você terá acesso ao gabarito comentado e/ou à explicação da mesma. Aproveite para se
familiarizar com este modelo de questões que será usado na sua AV e AVS.
 
1.
{1}
{0,1,2,3}
{0,1}
{-1,0}
{0}
 
 
 
Explicação:
2x+4<6
2x<2
x<1
 
 
 
 
2.
Nenhuma das alternativas anteriores.
Os conjuntos verdade e universo são disjuntos.
Os conjuntos verdade e universo são iguais.
Os conjuntos verdade e universo são exclusivos.
Os conjuntos verdade e universo são complementares.
 
 
 
Explicação:
Ref.: ver BROCHI, p. 161.
javascript:voltar();
javascript:voltar();
javascript:diminui();
javascript:aumenta();
javascript:calculadora_on();
javascript:abre_frame('1','8','','','315373096');javascript:abre_frame('2','8','','','315373096');
javascript:abre_frame('3','8','','','315373096');
30/05/2020 Estácio: Alunos
estacio.webaula.com.br/Classroom/index.asp?191C757E76=4842233C2141B5F19DC3C07E007D5F6656FE96C552DDA5ED2324AE618F0722… 2/3
Assinale a ÚNICA alternativa que identifica corretamente os dois principais tipos de quantificadores:
Considre N o conjunto Universo qual a solução para x+4<6
Considre N o conjunto Universo qual a solução para x+2<3
Dado o conjunto universo , temos que a sentença quantificada , em que x pertence a U, é
equivalente a:
 
 
 
 
3.
implicação e equivalência
conjunção e condicional
argumento e de inferência
universal e existencial
negação e disjunção
 
 
 
Explicação:
Ver BROCHI, P. 160
 
 
 
 
4.
{0,1,2,3}
{0,1,2}
{0}
{0,1}
{1}
 
 
 
Explicação:
x+4<6
x<2
 
 
 
 
5.
{-1,0,1}
{1}
{0,1}
{0}
{0,1,2}
 
 
 
Explicação:
x+2<3
x<1
 
 
 
 
6. U = {a1, a2, . . . , an} ∀x, P(x)
P(a1) ∨ P(a2)∨. . . P(an)
30/05/2020 Estácio: Alunos
estacio.webaula.com.br/Classroom/index.asp?191C757E76=4842233C2141B5F19DC3C07E007D5F6656FE96C552DDA5ED2324AE618F0722… 3/3
Indentifique abaixo, qual sentença é um predicado.
Assinale a ÚNICA alternativa que apresenta corretamente o conjunto verdade para a sentença "x + 4 < 6", dado que o
conjunto universo é 
nenhuma das alternativas anteriores
 
 
 
Explicação:
Ref.: A sentença quantificada descrita no enunciado é equivalente a uma conjunção, conforme descrito em BROCHI, p. 162.
 
 
 
 
7.
10 é um número natural
Alice é Noroeguesa
3,14 é um número real
José é Analista
x é um número real
 
 
 
Explicação:
"x é um número real " é predicado pois não sabemo quem é x
 
 
 
 
8.
nenhuma das alternativas anteriores
{0, 1}
 
 
 
Explicação:
Dica: atenção para o conjunto universo. O conjunto-verdade é um subconjunto de U.
 
 
 
 
 
 
 
 Não Respondida Não Gravada Gravada
 
 
Exercício inciado em 30/05/2020 12:32:44. 
 
 
 
P(a1) ∧ P(a2)∧. . . P(an)
¬P(a1) ∨ ¬P(a2)∨. . . ¬P(an)
¬P(a1) ∧ ¬P(a2)∧. . . ¬P(an)
U = N
V = {x ∈ R|x ≥ 2}
V = {x ∈ R|x ≤ 2}
V = {x ∈ Z|x ≤ 2}
javascript:abre_colabore('36890','196977534','3944437607');
30/05/2020 Estácio: Alunos
estacio.webaula.com.br/Classroom/index.asp?191C757E76=4842233C2141B5F19DC3C07E007D5F6656FE96C552DDA5ED2324AE618F0722… 1/3
 
Indentifique abaixo, qual sentença é um predicado.
Considre N o conjunto Universo qual a solução para 2x+4<6
MATEMÁTICA COMPUTACIONAL 
Lupa Calc.
 
 
Vídeo
 
PPT
 
MP3
 
CCT0750_A8_201907316523_V2 
 
Aluno: JENNYFFER NOVAES DE MORAIS Matr.: 201907316523
Disc.: MATEMÁTICA COMPUTAC. 2020.1 EAD (GT) / EX
 
Prezado (a) Aluno(a),
 
Você fará agora seu TESTE DE CONHECIMENTO! Lembre-se que este exercício é opcional, mas não valerá ponto para sua
avaliação. O mesmo será composto de questões de múltipla escolha.
Após responde cada questão, você terá acesso ao gabarito comentado e/ou à explicação da mesma. Aproveite para se
familiarizar com este modelo de questões que será usado na sua AV e AVS.
 
1.
Alice é Noroeguesa
x é um número real
10 é um número natural
José é Analista
3,14 é um número real
 
 
 
Explicação:
"x é um número real " é predicado pois não sabemo quem é x
 
 
 
 
2.
{0}
{-1,0}
{0,1,2,3}
{1}
{0,1}
 
 
 
Explicação:
2x+4<6
2x<2
x<1
javascript:voltar();
javascript:voltar();
javascript:diminui();
javascript:aumenta();
javascript:calculadora_on();
javascript:abre_frame('1','8','','','315373096');
javascript:abre_frame('2','8','','','315373096');
javascript:abre_frame('3','8','','','315373096');
30/05/2020 Estácio: Alunos
estacio.webaula.com.br/Classroom/index.asp?191C757E76=4842233C2141B5F19DC3C07E007D5F6656FE96C552DDA5ED2324AE618F0722… 2/3
Assinale a ÚNICA alternativa que apresenta a relação entre os conjuntos universo e verdade em sentenças verdadeiras e
quantificadas com o quantificador universal:
Considre N o conjunto Universo qual a solução para x+4<6
Considre N o conjunto Universo qual a solução para x+2<3
Dado o conjunto universo , temos que a sentença quantificada , em que x pertence a U, é
equivalente a:
 
 
 
 
3.
Os conjuntos verdade e universo são exclusivos.
Os conjuntos verdade e universo são iguais.
Os conjuntos verdade e universo são disjuntos.
Os conjuntos verdade e universo são complementares.
Nenhuma das alternativas anteriores.
 
 
 
Explicação:
Ref.: ver BROCHI, p. 161.
 
 
 
 
4.
{0,1,2}
{0,1}
{0,1,2,3}
{0}
{1}
 
 
 
Explicação:
x+4<6
x<2
 
 
 
 
5.
{-1,0,1}
{0,1}
{0}
{0,1,2}
{1}
 
 
 
Explicação:
x+2<3
x<1
 
 
 
 
6. U = {a1, a2, . . . , an} ∀x, P(x)
¬P(a1) ∧ ¬P(a2)∧. . . ¬P(an)
30/05/2020 Estácio: Alunos
estacio.webaula.com.br/Classroom/index.asp?191C757E76=4842233C2141B5F19DC3C07E007D5F6656FE96C552DDA5ED2324AE618F0722… 3/3
Assinale a ÚNICA alternativa que identifica corretamente os dois principais tipos de quantificadores:
Todas as sentenças são predicados, exceto:
nenhuma das alternativas anteriores
 
 
 
Explicação:
Ref.: A sentença quantificada descrita no enunciado é equivalente a uma conjunção, conforme descrito em BROCHI, p. 162.
 
 
 
 
7.
universal e existencial
conjunção e condicional
implicação e equivalência
negação e disjunção
argumento e de inferência
 
 
 
Explicação:
Ver BROCHI, P. 160
 
 
 
 
8.
Ana é uma medalhista
w é um inteiro positivo
x é um número inteiro
z é um cachorro
y pertence ao conjunto A
 
 
 
Explicação:
Ana é medalhista é um proposição, pois consiguimos identificar Ana
 
 
 
 
 
 
 
 Não Respondida Não Gravada Gravada
 
 
Exercício inciado em 30/05/2020 13:07:18. 
 
 
 
P(a1) ∨ P(a2)∨. . . P(an)
¬P(a1) ∨ ¬P(a2)∨. . . ¬P(an)
P(a1) ∧ P(a2)∧. . . P(an)
javascript:abre_colabore('36890','196984571','3944620850');
30/05/2020 Estácio: Alunos
estacio.webaula.com.br/Classroom/index.asp?191C757E76=4842233C2141B5F19DC3C07E007D5F6656FE96C552DDA5ED2324AE618F0722… 1/3
 
Considre N o conjunto Universo qual a solução para 2x+4<6
Todas as sentenças são predicados, exceto:
MATEMÁTICA COMPUTACIONAL 
Lupa Calc.
 
 
Vídeo
 
PPT
 
MP3
 
CCT0750_A8_201907316523_V3 
 
Aluno: JENNYFFER NOVAES DE MORAIS Matr.: 201907316523
Disc.: MATEMÁTICA COMPUTAC. 2020.1 EAD (GT) / EX
 
Prezado (a) Aluno(a),
 
Você fará agora seu TESTE DE CONHECIMENTO! Lembre-se que este exercício é opcional, mas não valerá ponto para sua
avaliação. O mesmo será composto de questões de múltipla escolha.
Após responde cada questão, você terá acesso ao gabarito comentado e/ou à explicação da mesma. Aproveite para se
familiarizar com este modelo de questões que será usado na sua AV e AVS.
 
1.
{0}
{1}
{0,1}
{-1,0}
{0,1,2,3}
 
 
 
Explicação:
2x+4<6
2x<2
x<1
 
 
 
 
2.
Ana é uma medalhista
y pertence ao conjunto A
z é um cachorro
w é um inteiro positivo
x é um número inteiro
 
 
 
Explicação:
Ana é medalhista é um proposição, pois consiguimos identificar Ana
javascript:voltar();
javascript:voltar();
javascript:diminui();
javascript:aumenta();
javascript:calculadora_on();
javascript:abre_frame('1','8','','','315373096');
javascript:abre_frame('2','8','','','315373096');
javascript:abre_frame('3','8','','','315373096');
30/05/2020 Estácio: Alunos
estacio.webaula.com.br/Classroom/index.asp?191C757E76=4842233C2141B5F19DC3C07E007D5F6656FE96C552DDA5ED2324AE618F0722… 2/3
Considre N o conjunto Universo qual a solução para x+4<6
Considre N o conjunto Universo qual a solução para x+2<3
Dado o conjunto universo , temos que a sentença quantificada , em que x pertence a U, é
equivalente a:
Assinale a ÚNICA alternativa que identifica corretamente os dois principais tipos de quantificadores:
 
 
 
 
3.
{0,1,2,3}
{0,1,2}
{1}
{0,1}
{0}
 
 
 
Explicação:
x+4<6
x<2
 
 
 
 
4.
{0,1,2}
{1}
{-1,0,1}
{0,1}
{0}
 
 
 
Explicação:
x+2<3
x<1
 
 
 
 
5.
nenhuma das alternativas anteriores
 
 
 
Explicação:
Ref.: A sentença quantificada descrita no enunciado é equivalente a uma conjunção, conforme descrito emBROCHI, p. 162.
 
 
 
 
6.
universal e existencial
U = {a1, a2, . . . , an} ∀x, P(x)
¬P(a1) ∧ ¬P(a2)∧. . . ¬P(an)
P(a1) ∧ P(a2)∧. . . P(an)
¬P(a1) ∨ ¬P(a2)∨. . . ¬P(an)
P(a1) ∨ P(a2)∨. . . P(an)
30/05/2020 Estácio: Alunos
estacio.webaula.com.br/Classroom/index.asp?191C757E76=4842233C2141B5F19DC3C07E007D5F6656FE96C552DDA5ED2324AE618F0722… 3/3
Assinale a ÚNICA alternativa que apresenta corretamente o conjunto verdade para a sentença "x + 4 < 6", dado que o
conjunto universo é 
Assinale a ÚNICA alternativa que apresenta a relação entre os conjuntos universo e verdade em sentenças verdadeiras e
quantificadas com o quantificador universal:
conjunção e condicional
negação e disjunção
implicação e equivalência
argumento e de inferência
 
 
 
Explicação:
Ver BROCHI, P. 160
 
 
 
 
7.
{0, 1}
nenhuma das alternativas anteriores
 
 
 
Explicação:
Dica: atenção para o conjunto universo. O conjunto-verdade é um subconjunto de U.
 
 
 
 
8.
Nenhuma das alternativas anteriores.
Os conjuntos verdade e universo são iguais.
Os conjuntos verdade e universo são exclusivos.
Os conjuntos verdade e universo são complementares.
Os conjuntos verdade e universo são disjuntos.
 
 
 
Explicação:
Ref.: ver BROCHI, p. 161.
 
 
 
 
 
 
 
 Não Respondida Não Gravada Gravada
 
 
Exercício inciado em 30/05/2020 13:20:14. 
 
 
 
U = N
V = {x ∈ R|x ≤ 2}
V = {x ∈ Z|x ≤ 2}
V = {x ∈ R|x ≥ 2}
javascript:abre_colabore('36890','196987185','3944687615');
30/05/2020 Estácio: Alunos
estacio.webaula.com.br/Classroom/index.asp?191C757E76=4842233C2141B5F19DC3C07E007D5F6656FE96C552DDA5ED2324AE618F0722… 1/3
 
Assinale a ÚNICA alternativa que apresenta corretamente o conjunto verdade para a sentença "x + 4 < 6", dado que o
conjunto universo é 
Todas as sentenças são predicados, exceto:
MATEMÁTICA COMPUTACIONAL 
Lupa Calc.
 
 
Vídeo
 
PPT
 
MP3
 
CCT0750_A8_201907316523_V4 
 
Aluno: JENNYFFER NOVAES DE MORAIS Matr.: 201907316523
Disc.: MATEMÁTICA COMPUTAC. 2020.1 EAD (GT) / EX
 
Prezado (a) Aluno(a),
 
Você fará agora seu TESTE DE CONHECIMENTO! Lembre-se que este exercício é opcional, mas não valerá ponto para sua
avaliação. O mesmo será composto de questões de múltipla escolha.
Após responde cada questão, você terá acesso ao gabarito comentado e/ou à explicação da mesma. Aproveite para se
familiarizar com este modelo de questões que será usado na sua AV e AVS.
 
1.
{0, 1}
nenhuma das alternativas anteriores
 
 
 
Explicação:
Dica: atenção para o conjunto universo. O conjunto-verdade é um subconjunto de U.
 
 
 
 
2.
z é um cachorro
x é um número inteiro
w é um inteiro positivo
Ana é uma medalhista
y pertence ao conjunto A
 
 
 
Explicação:
Ana é medalhista é um proposição, pois consiguimos identificar Ana
 
 
 
U = N
V = {x ∈ R|x ≥ 2}
V = {x ∈ R|x ≤ 2}
V = {x ∈ Z|x ≤ 2}
javascript:voltar();
javascript:voltar();
javascript:diminui();
javascript:aumenta();
javascript:calculadora_on();
javascript:abre_frame('1','8','','','315373096');
javascript:abre_frame('2','8','','','315373096');
javascript:abre_frame('3','8','','','315373096');
30/05/2020 Estácio: Alunos
estacio.webaula.com.br/Classroom/index.asp?191C757E76=4842233C2141B5F19DC3C07E007D5F6656FE96C552DDA5ED2324AE618F0722… 2/3
Considre N o conjunto Universo qual a solução para x+4<6
Considre N o conjunto Universo qual a solução para x+2<3
Dado o conjunto universo , temos que a sentença quantificada , em que x pertence a U, é
equivalente a:
Assinale a ÚNICA alternativa que identifica corretamente os dois principais tipos de quantificadores:
 
3.
{0,1}
{0,1,2}
{0,1,2,3}
{1}
{0}
 
 
 
Explicação:
x+4<6
x<2
 
 
 
 
4.
{0,1}
{0,1,2}
{1}
{0}
{-1,0,1}
 
 
 
Explicação:
x+2<3
x<1
 
 
 
 
5.
nenhuma das alternativas anteriores
 
 
 
Explicação:
Ref.: A sentença quantificada descrita no enunciado é equivalente a uma conjunção, conforme descrito em BROCHI, p. 162.
 
 
 
 
6.
implicação e equivalência
negação e disjunção
conjunção e condicional
U = {a1, a2, . . . , an} ∀x, P(x)
¬P(a1) ∧ ¬P(a2)∧. . . ¬P(an)
¬P(a1) ∨ ¬P(a2)∨. . . ¬P(an)
P(a1) ∧ P(a2)∧. . . P(an)
P(a1) ∨ P(a2)∨. . . P(an)
30/05/2020 Estácio: Alunos
estacio.webaula.com.br/Classroom/index.asp?191C757E76=4842233C2141B5F19DC3C07E007D5F6656FE96C552DDA5ED2324AE618F0722… 3/3
Assinale a ÚNICA alternativa que apresenta a relação entre os conjuntos universo e verdade em sentenças verdadeiras e
quantificadas com o quantificador universal:
Indentifique abaixo, qual sentença é um predicado.
argumento e de inferência
universal e existencial
 
 
 
Explicação:
Ver BROCHI, P. 160
 
 
 
 
7.
Os conjuntos verdade e universo são exclusivos.
Os conjuntos verdade e universo são disjuntos.
Os conjuntos verdade e universo são iguais.
Os conjuntos verdade e universo são complementares.
Nenhuma das alternativas anteriores.
 
 
 
Explicação:
Ref.: ver BROCHI, p. 161.
 
 
 
 
8.
10 é um número natural
x é um número real
3,14 é um número real
Alice é Noroeguesa
José é Analista
 
 
 
Explicação:
"x é um número real " é predicado pois não sabemo quem é x
 
 
 
 
 
 
 
 Não Respondida Não Gravada Gravada
 
 
Exercício inciado em 30/05/2020 13:34:59. 
 
 
 
javascript:abre_colabore('36890','196990146','3944764623');
30/05/2020 Estácio: Alunos
estacio.webaula.com.br/Classroom/index.asp?191C757E76=4842233C2141B5F19DC3C07E007D5F6656FE96C552DDA5ED2324AE618F0722… 1/4
 
Assinale a alternativa que apresenta a negação da sentença " ".
Assinale a alternativa que apresenta a negação da sentença" "
MATEMÁTICA COMPUTACIONAL 
Lupa Calc.
 
 
Vídeo
 
PPT
 
MP3
 
CCT0750_A9_201907316523_V1 
 
Aluno: JENNYFFER NOVAES DE MORAIS Matr.: 201907316523
Disc.: MATEMÁTICA COMPUTAC. 2020.1 EAD (GT) / EX
 
Prezado (a) Aluno(a),
 
Você fará agora seu TESTE DE CONHECIMENTO! Lembre-se que este exercício é opcional, mas não valerá ponto para sua
avaliação. O mesmo será composto de questões de múltipla escolha.
Após responde cada questão, você terá acesso ao gabarito comentado e/ou à explicação da mesma. Aproveite para se
familiarizar com este modelo de questões que será usado na sua AV e AVS.
 
1.
 
 
 
Explicação:
 
 
 
 
2.
N.D.A
 
 
 
Explicação:
 
 
∀x ∈ R, x + 5 < 0
∀x ∈ R, x + 5 > 0
∃x ∈ R, x + 5 < 0
∀x ∈ R, x + 5 ≥ 0
∃x ∈ R, x + 5 ≤ 0
∃x ∈ R, x + 5 ≥ 0
∃x ∈ R, x + 5 ≥ 0
∃x ∈ R, x2 + 4x + 4 = 0
∃x ∈ R, x2 + 4x + 4 ≠ 0
∃x ∈ R, x2 + 4x + 4 = 0
∀x ∈ R, x2 + 4x + 4 ≠ 0
∀x ∈ R, x2 + 4x + 4 = 0
∀x ∈ R, x2 + 4x + 4 ≠ 0
javascript:voltar();
javascript:voltar();
javascript:diminui();
javascript:aumenta();
javascript:calculadora_on();
javascript:abre_frame('1','9','','','315373115');
javascript:abre_frame('2','9','','','315373115');
javascript:abre_frame('3','9','','','315373115');
30/05/2020 Estácio: Alunos
estacio.webaula.com.br/Classroom/index.asp?191C757E76=4842233C2141B5F19DC3C07E007D5F6656FE96C552DDA5ED2324AE618F0722… 2/4
No estudo de cálculo de predicados, quando se tem a sentença " ∃X , ∀Y , (x+y) ∈ Q ", se faz a seguinte leitura: existe x,
tal que para todo y, a soma x+y é um valor racional. Nesse caso, o alcance do QUANTIFICADOR UNIVERSAL é:
Assinale a ÚNICA alternativa que apresenta a negação da sentença "todo brasileiro joga futebol":
Apresente a negação da sentença 
 
 
3.
∃X , ∀Y
(x+y) = Q
∀Y , (x+y)
~(x+y) ⇔ Q
(x+y) ∈ Q
 
 
 
Explicação:
Numa expressão ∀x P(x) diz-se que P(x) é o alcance do quantificador ∀x, ∀ é o símbolo do quantificador universal e x é a
variável alvo da quantificação universal que deve ser quantificada.
 
 
 
 
4.
nem todo brasileiro não joga futebol
nenhum brasileiro joga futebol
nem todo brasileiro joga futebol
todo brasileiro não joga futebol
nenhuma das alternativas anteriores
 
 
 
Explicação:
Considere:
x - brasileiro
P(x) - joga futebol
Logo, a negação da sentença é dada por:
Em linguagem natural, significa que "nem todo brasileiro joga futebol" ou "existe brasileiro que não joga futebol"
 
 
 
 
5.nenhuma das alternativas anteriores
 
 
 
Explicação:
A negação de "todo elemento x é tal que P(x)" é "nem todo elemento x é tal que P(x)", que equivale a afirmar que "existe x
tal que não P(x)".
 
 
 
¬(∀x, P(x)) ⟺ ∃x, ¬P(x)
∀x, P(x)
∀x, ¬P(x)
∃x, P(x)
¬∀x, P(x)
∃x, ¬P(x)
30/05/2020 Estácio: Alunos
estacio.webaula.com.br/Classroom/index.asp?191C757E76=4842233C2141B5F19DC3C07E007D5F6656FE96C552DDA5ED2324AE618F0722… 3/4
Sabe-se que um argumento pode ser representado em forma simbólica como P1 ∧ P2 ∧ P3 ∧ ... ∧ Pn
→ Q, no qual fórmulas bem-formuladas são construídas a partir de predicados e quantificadores, assim
como de conectivos lógicos e símbolos de agrupamento. Para um argumento ser válido, Q tem de ser
uma consequência lógica de P1, P2, ..., Pn, baseada apenas na estrutura interna do argumento, não na
veracidade ou falsidade de Q em qualquer interpretação particular. ASSINALE QUAL A CONCLUSÃO
VÁLIDA, considerando as seguintes proposições ou premissas: 
p → r , p ∨ q , ~q 
Seja x uma variável e E uma fórmula, se x ocorre em E dentro do escopo de um quantificador, diz-se que a variável é do
tipo:
Uma sentença aberta P(X) e seu universo U = {a1, a2, a3, ... , an} tem a sua negação na seguinte
forma:
~(∀x , P(X)) ⇔ ~ (P(a1) ∧ P(a2) ∧ ... ∧ P(an)).
Aplicando uma das leis de De Morgan, assinale qual outra forma é admissível para indicar também a
mesma negação.
 
6.
q ∨ ~p
s ∨ t
r ∨ s
q ∧ r
r ∧ s
 
 
 
Explicação:
Se ~q é verdade, q é falso, logo p tem que ser verdade.
Se p é verdade, então r é verdade.
Se r é verdade, r v s é conclusão válida, pois basta um elemento ser verdade para validar a conclusão e r
satisfaz essa condição.
 
 
 
 
7.
nenhuma das alternativas anteriores
livre
predicada
ligada
quantificada
 
 
 
Explicação:
O enunciado traz a definição de variável ligada.
 
 
 
 
8.
~(∀x , P(X)) ⇔ ~P(a1) ∧ ~P(a2) ∧ ... ∧ ~P(an)
~(∀x , P(X)) ⇔ ~P(a1) ∨ ~P(an)
~(∀x , P(X)) ⇔ ~P(a1) ∨ ~P(a2) ∨ ... ∨ ~P(an)
~(∀x , P(X)) ⇔ ~ (P(a1) ∨ P(a2) ∨ ... ∨ P(an))
 
~(∀x , P(X)) ⇔ P(a1) ∨ P(a2) ∨ ... ∨ P(an)
 
 
 
Explicação:
30/05/2020 Estácio: Alunos
estacio.webaula.com.br/Classroom/index.asp?191C757E76=4842233C2141B5F19DC3C07E007D5F6656FE96C552DDA5ED2324AE618F0722… 4/4
Aplicando uma das leis de De Morgan (que se refere a negação de uma conjunção), tem-se: 
~(∀x, P(x)) ⇔ ~P(a1) ∨ ~P(a2) ∨ ... ∨ ~P(an)
 
 
 
 
 
 
 
 Não Respondida Não Gravada Gravada
 
 
Exercício inciado em 30/05/2020 12:34:08. 
 
 
 
javascript:abre_colabore('36890','196977806','3944443025');
30/05/2020 Estácio: Alunos
estacio.webaula.com.br/Classroom/index.asp?191C757E76=4842233C2141B5F19DC3C07E007D5F6656FE96C552DDA5ED2324AE618F0722… 1/4
 
Assinale a alternativa que apresenta a negação da sentença " ".
Seja x uma variável e E uma fórmula, se x ocorre em E dentro do escopo de um quantificador, diz-se que a variável é do
tipo:
MATEMÁTICA COMPUTACIONAL 
Lupa Calc.
 
 
Vídeo
 
PPT
 
MP3
 
CCT0750_A9_201907316523_V2 
 
Aluno: JENNYFFER NOVAES DE MORAIS Matr.: 201907316523
Disc.: MATEMÁTICA COMPUTAC. 2020.1 EAD (GT) / EX
 
Prezado (a) Aluno(a),
 
Você fará agora seu TESTE DE CONHECIMENTO! Lembre-se que este exercício é opcional, mas não valerá ponto para sua
avaliação. O mesmo será composto de questões de múltipla escolha.
Após responde cada questão, você terá acesso ao gabarito comentado e/ou à explicação da mesma. Aproveite para se
familiarizar com este modelo de questões que será usado na sua AV e AVS.
 
1.
 
 
 
Explicação:
 
 
 
 
2.
quantificada
predicada
nenhuma das alternativas anteriores
livre
ligada
 
 
 
Explicação:
O enunciado traz a definição de variável ligada.
 
 
∀x ∈ R, x + 5 < 0
∃x ∈ R, x + 5 ≥ 0
∃x ∈ R, x + 5 < 0
∀x ∈ R, x + 5 ≥ 0
∀x ∈ R, x + 5 > 0
∃x ∈ R, x + 5 ≤ 0
∃x ∈ R, x + 5 ≥ 0
javascript:voltar();
javascript:voltar();
javascript:diminui();
javascript:aumenta();
javascript:calculadora_on();
javascript:abre_frame('1','9','','','315373115');
javascript:abre_frame('2','9','','','315373115');
javascript:abre_frame('3','9','','','315373115');
30/05/2020 Estácio: Alunos
estacio.webaula.com.br/Classroom/index.asp?191C757E76=4842233C2141B5F19DC3C07E007D5F6656FE96C552DDA5ED2324AE618F0722… 2/4
Uma sentença aberta P(X) e seu universo U = {a1, a2, a3, ... , an} tem a sua negação na seguinte
forma:
~(∀x , P(X)) ⇔ ~ (P(a1) ∧ P(a2) ∧ ... ∧ P(an)).
Aplicando uma das leis de De Morgan, assinale qual outra forma é admissível para indicar também a
mesma negação.
Sabe-se que um argumento pode ser representado em forma simbólica como P1 ∧ P2 ∧ P3 ∧ ... ∧ Pn
→ Q, no qual fórmulas bem-formuladas são construídas a partir de predicados e quantificadores, assim
como de conectivos lógicos e símbolos de agrupamento. Para um argumento ser válido, Q tem de ser
uma consequência lógica de P1, P2, ..., Pn, baseada apenas na estrutura interna do argumento, não na
veracidade ou falsidade de Q em qualquer interpretação particular. ASSINALE QUAL A CONCLUSÃO
VÁLIDA, considerando as seguintes proposições ou premissas: 
p → r , p ∨ q , ~q 
Apresente a negação da sentença 
 
 
3.
~(∀x , P(X)) ⇔ ~ (P(a1) ∨ P(a2) ∨ ... ∨ P(an))
 
~(∀x , P(X)) ⇔ ~P(a1) ∨ ~P(an)
~(∀x , P(X)) ⇔ ~P(a1) ∨ ~P(a2) ∨ ... ∨ ~P(an)
~(∀x , P(X)) ⇔ P(a1) ∨ P(a2) ∨ ... ∨ P(an)
~(∀x , P(X)) ⇔ ~P(a1) ∧ ~P(a2) ∧ ... ∧ ~P(an)
 
 
 
Explicação:
Aplicando uma das leis de De Morgan (que se refere a negação de uma conjunção), tem-se: 
~(∀x, P(x)) ⇔ ~P(a1) ∨ ~P(a2) ∨ ... ∨ ~P(an)
 
 
 
 
4.
r ∨ s
q ∨ ~p
q ∧ r
r ∧ s
s ∨ t
 
 
 
Explicação:
Se ~q é verdade, q é falso, logo p tem que ser verdade.
Se p é verdade, então r é verdade.
Se r é verdade, r v s é conclusão válida, pois basta um elemento ser verdade para validar a conclusão e r
satisfaz essa condição.
 
 
 
 
5.
nenhuma das alternativas anteriores
∀x, P(x)
¬∀x, P(x)
∃x, P(x)
∀x, ¬P(x)
30/05/2020 Estácio: Alunos
estacio.webaula.com.br/Classroom/index.asp?191C757E76=4842233C2141B5F19DC3C07E007D5F6656FE96C552DDA5ED2324AE618F0722… 3/4
Assinale a ÚNICA alternativa que apresenta a negação da sentença "todo brasileiro joga futebol":
Apresente a negação da sentença quantificada 
No estudo de cálculo de predicados, quando se tem a sentença " ∃X , ∀Y , (x+y) ∈ Q ", se faz a seguinte leitura: existe x,
tal que para todo y, a soma x+y é um valor racional. Nesse caso, o alcance do QUANTIFICADOR UNIVERSAL é:
 
 
 
Explicação:
A negação de "todo elemento x é tal que P(x)" é "nem todo elemento x é tal que P(x)", que equivale a afirmar que "existe x
tal que não P(x)".
 
 
 
 
6.
nenhuma das alternativas anteriores
todo brasileiro não joga futebol
nem todo brasileiro não joga futebol
nem todo brasileiro joga futebol
nenhum brasileiro joga futebol
 
 
 
Explicação:
Considere:
x - brasileiro
P(x) - joga futebol
Logo, a negação da sentença é dada por:
Em linguagem natural, significa que "nem todo brasileiro joga futebol" ou "existe brasileiro que não joga futebol"
 
 
 
 
7.
 
 
 
Explicação:
Aplicação direta das leis de equivalência para sentenças quantificadas. Corresponde a afirmar que todo x não atende a P(x) ou
que nenhum x atende a P(x)
 
 
 
 
8.
(x+y) ∈ Q
∃X , ∀Y
~(x+y) ⇔ Q
∀Y , (x+y)
(x+y) = Q
 
 
∃x, ¬P(x)
¬(∀x, P(x)) ⟺ ∃x, ¬P(x)
∃x, P(x)
∃x, ¬P(¬x)
∃x, P(¬x)
∃x, ¬P(x)
∀x, ¬P(x)
∀x, P(x)
30/05/2020 Estácio: Alunos
estacio.webaula.com.br/Classroom/index.asp?191C757E76=4842233C2141B5F19DC3C07E007D5F6656FE96C552DDA5ED2324AE618F0722… 4/4
 
Explicação:
Numa expressão ∀x P(x) diz-se que P(x) é o alcance do quantificador ∀x, ∀ é o símbolo do quantificador universal e x é a
variável alvo da quantificação universal que deve ser quantificada.
 
 
 
 
 
 
 
 Não Respondida Não Gravada Gravada
 
 
Exercício inciado em 30/05/2020 13:08:19. 
 
 
 
javascript:abre_colabore('36890','196984786','3944626805');
30/05/2020 Estácio: Alunos
estacio.webaula.com.br/Classroom/index.asp?191C757E76=4842233C2141B5F19DC3C07E007D5F6656FE96C552DDA5ED2324AE618F0722… 1/4Assinale a alternativa que apresenta a negação da sentença " ".
No estudo de cálculo de predicados, quando se tem a sentença " ∃X , ∀Y , (x+y) ∈ Q ", se faz a seguinte leitura: existe x,
tal que para todo y, a soma x+y é um valor racional. Nesse caso, o alcance do QUANTIFICADOR UNIVERSAL é:
MATEMÁTICA COMPUTACIONAL 
Lupa Calc.
 
 
Vídeo
 
PPT
 
MP3
 
CCT0750_A9_201907316523_V3 
 
Aluno: JENNYFFER NOVAES DE MORAIS Matr.: 201907316523
Disc.: MATEMÁTICA COMPUTAC. 2020.1 EAD (GT) / EX
 
Prezado (a) Aluno(a),
 
Você fará agora seu TESTE DE CONHECIMENTO! Lembre-se que este exercício é opcional, mas não valerá ponto para sua
avaliação. O mesmo será composto de questões de múltipla escolha.
Após responde cada questão, você terá acesso ao gabarito comentado e/ou à explicação da mesma. Aproveite para se
familiarizar com este modelo de questões que será usado na sua AV e AVS.
 
1.
 
 
 
Explicação:
 
 
 
 
2.
∃X , ∀Y
∀Y , (x+y)
(x+y) ∈ Q
(x+y) = Q
~(x+y) ⇔ Q
 
 
 
Explicação:
Numa expressão ∀x P(x) diz-se que P(x) é o alcance do quantificador ∀x, ∀ é o símbolo do quantificador universal e x é a
variável alvo da quantificação universal que deve ser quantificada.
 
 
∀x ∈ R, x + 5 < 0
∀x ∈ R, x + 5 ≥ 0
∃x ∈ R, x + 5 ≥ 0
∃x ∈ R, x + 5 ≤ 0
∀x ∈ R, x + 5 > 0
∃x ∈ R, x + 5 < 0
∃x ∈ R, x + 5 ≥ 0
javascript:voltar();
javascript:voltar();
javascript:diminui();
javascript:aumenta();
javascript:calculadora_on();
javascript:abre_frame('1','9','','','315373115');
javascript:abre_frame('2','9','','','315373115');
javascript:abre_frame('3','9','','','315373115');
30/05/2020 Estácio: Alunos
estacio.webaula.com.br/Classroom/index.asp?191C757E76=4842233C2141B5F19DC3C07E007D5F6656FE96C552DDA5ED2324AE618F0722… 2/4
Uma sentença aberta P(X) e seu universo U = {a1, a2, a3, ... , an} tem a sua negação na seguinte
forma:
~(∀x , P(X)) ⇔ ~ (P(a1) ∧ P(a2) ∧ ... ∧ P(an)).
Aplicando uma das leis de De Morgan, assinale qual outra forma é admissível para indicar também a
mesma negação.
Sabe-se que um argumento pode ser representado em forma simbólica como P1 ∧ P2 ∧ P3 ∧ ... ∧ Pn
→ Q, no qual fórmulas bem-formuladas são construídas a partir de predicados e quantificadores, assim
como de conectivos lógicos e símbolos de agrupamento. Para um argumento ser válido, Q tem de ser
uma consequência lógica de P1, P2, ..., Pn, baseada apenas na estrutura interna do argumento, não na
veracidade ou falsidade de Q em qualquer interpretação particular. ASSINALE QUAL A CONCLUSÃO
VÁLIDA, considerando as seguintes proposições ou premissas: 
p → r , p ∨ q , ~q 
Apresente a negação da sentença 
 
 
3.
~(∀x , P(X)) ⇔ ~P(a1) ∨ ~P(an)
~(∀x , P(X)) ⇔ ~P(a1) ∧ ~P(a2) ∧ ... ∧ ~P(an)
~(∀x , P(X)) ⇔ ~P(a1) ∨ ~P(a2) ∨ ... ∨ ~P(an)
~(∀x , P(X)) ⇔ ~ (P(a1) ∨ P(a2) ∨ ... ∨ P(an))
 
~(∀x , P(X)) ⇔ P(a1) ∨ P(a2) ∨ ... ∨ P(an)
 
 
 
Explicação:
Aplicando uma das leis de De Morgan (que se refere a negação de uma conjunção), tem-se: 
~(∀x, P(x)) ⇔ ~P(a1) ∨ ~P(a2) ∨ ... ∨ ~P(an)
 
 
 
 
4.
s ∨ t
r ∨ s
q ∨ ~p
q ∧ r
r ∧ s
 
 
 
Explicação:
Se ~q é verdade, q é falso, logo p tem que ser verdade.
Se p é verdade, então r é verdade.
Se r é verdade, r v s é conclusão válida, pois basta um elemento ser verdade para validar a conclusão e r
satisfaz essa condição.
 
 
 
 
5.
nenhuma das alternativas anteriores
∀x, P(x)
∀x, ¬P(x)
¬∀x, P(x)
∃x, ¬P(x)
30/05/2020 Estácio: Alunos
estacio.webaula.com.br/Classroom/index.asp?191C757E76=4842233C2141B5F19DC3C07E007D5F6656FE96C552DDA5ED2324AE618F0722… 3/4
Assinale a ÚNICA alternativa que apresenta a negação da sentença "todo brasileiro joga futebol":
Apresente a negação da sentença quantificada 
Seja x uma variável e E uma fórmula, se x ocorre em E dentro do escopo de um quantificador, diz-se que a variável é do
tipo:
 
 
 
Explicação:
A negação de "todo elemento x é tal que P(x)" é "nem todo elemento x é tal que P(x)", que equivale a afirmar que "existe x
tal que não P(x)".
 
 
 
 
6.
nenhum brasileiro joga futebol
nem todo brasileiro joga futebol
nenhuma das alternativas anteriores
todo brasileiro não joga futebol
nem todo brasileiro não joga futebol
 
 
 
Explicação:
Considere:
x - brasileiro
P(x) - joga futebol
Logo, a negação da sentença é dada por:
Em linguagem natural, significa que "nem todo brasileiro joga futebol" ou "existe brasileiro que não joga futebol"
 
 
 
 
7.
 
 
 
Explicação:
Aplicação direta das leis de equivalência para sentenças quantificadas. Corresponde a afirmar que todo x não atende a P(x) ou
que nenhum x atende a P(x)
 
 
 
 
8.
nenhuma das alternativas anteriores
livre
quantificada
predicada
ligada
 
 
∃x, P(x)
¬(∀x, P(x)) ⟺ ∃x, ¬P(x)
∃x, P(x)
∃x, ¬P(¬x)
∃x, P(¬x)
∀x, P(x)
∀x, ¬P(x)
∃x, ¬P(x)
30/05/2020 Estácio: Alunos
estacio.webaula.com.br/Classroom/index.asp?191C757E76=4842233C2141B5F19DC3C07E007D5F6656FE96C552DDA5ED2324AE618F0722… 4/4
 
Explicação:
O enunciado traz a definição de variável ligada.
 
 
 
 
 
 
 
 Não Respondida Não Gravada Gravada
 
 
Exercício inciado em 30/05/2020 13:21:29. 
 
 
 
javascript:abre_colabore('36890','196987449','3944693918');
30/05/2020 Estácio: Alunos
estacio.webaula.com.br/Classroom/index.asp?191C757E76=4842233C2141B5F19DC3C07E007D5F6656FE96C552DDA5ED2324AE618F0722… 1/4
 
Assinale a alternativa que apresenta a negação da sentença " ".
Assinale a alternativa que apresenta a negação da sentença" "
MATEMÁTICA COMPUTACIONAL 
Lupa Calc.
 
 
Vídeo
 
PPT
 
MP3
 
CCT0750_A9_201907316523_V4 
 
Aluno: JENNYFFER NOVAES DE MORAIS Matr.: 201907316523
Disc.: MATEMÁTICA COMPUTAC. 2020.1 EAD (GT) / EX
 
Prezado (a) Aluno(a),
 
Você fará agora seu TESTE DE CONHECIMENTO! Lembre-se que este exercício é opcional, mas não valerá ponto para sua
avaliação. O mesmo será composto de questões de múltipla escolha.
Após responde cada questão, você terá acesso ao gabarito comentado e/ou à explicação da mesma. Aproveite para se
familiarizar com este modelo de questões que será usado na sua AV e AVS.
 
1.
 
 
 
Explicação:
 
 
 
 
2.
N.D.A
 
 
 
Explicação:
 
 
∀x ∈ R, x + 5 < 0
∃x ∈ R, x + 5 ≥ 0
∀x ∈ R, x + 5 > 0
∃x ∈ R, x + 5 < 0
∃x ∈ R, x + 5 ≤ 0
∀x ∈ R, x + 5 ≥ 0
∃x ∈ R, x + 5 ≥ 0
∃x ∈ R, x2 + 4x + 4 = 0
∃x ∈ R, x2 + 4x + 4 = 0
∀x ∈ R, x2 + 4x + 4 = 0
∃x ∈ R, x2 + 4x + 4 ≠ 0
∀x ∈ R, x2 + 4x + 4 ≠ 0
∀x ∈ R, x2 + 4x + 4 ≠ 0
javascript:voltar();
javascript:voltar();
javascript:diminui();
javascript:aumenta();
javascript:calculadora_on();
javascript:abre_frame('1','9','','','315373115');
javascript:abre_frame('2','9','','','315373115');
javascript:abre_frame('3','9','','','315373115');
30/05/2020 Estácio: Alunos
estacio.webaula.com.br/Classroom/index.asp?191C757E76=4842233C2141B5F19DC3C07E007D5F6656FE96C552DDA5ED2324AE618F0722… 2/4
Uma sentença aberta P(X) e seu universo U = {a1, a2, a3, ... , an} tem a sua negação na seguinte
forma:
~(∀x , P(X)) ⇔ ~ (P(a1) ∧ P(a2) ∧ ... ∧ P(an)).
Aplicando uma das leis de De Morgan, assinale qual outra forma é admissível para indicar também a
mesma negação.
Sabe-se que um argumento pode ser representado em forma simbólica como P1 ∧ P2 ∧ P3 ∧ ... ∧ Pn
→ Q, no qual fórmulas bem-formuladas são construídas a partir de predicados e quantificadores, assim
como de conectivos lógicos e símbolos de agrupamento. Para um argumento ser válido, Q tem de ser
uma consequência lógica de P1, P2, ..., Pn, baseada apenas na estrutura interna do argumento, não na
veracidade ou falsidade de Q em qualquer interpretação particular. ASSINALE QUAL A CONCLUSÃO
VÁLIDA, considerando as seguintes proposições ou premissas: 
p → r , p ∨ q , ~q 
No estudo de cálculo de predicados, quando se tem a sentença " ∃X , ∀Y , (x+y) ∈ Q ", se faz a seguinte leitura: existe x,
tal que para todo y, a soma x+y é um valor racional. Nesse caso, o alcance do QUANTIFICADOR UNIVERSAL é:
 
 
3.
~(∀x , P(X)) ⇔ ~P(a1) ∧ ~P(a2) ∧ ... ∧ ~P(an)
~(∀x , P(X)) ⇔ ~P(a1) ∨ ~P(an)
~(∀x , P(X)) ⇔ ~P(a1) ∨ ~P(a2) ∨ ... ∨ ~P(an)
~(∀x ,P(X)) ⇔ ~ (P(a1) ∨ P(a2) ∨ ... ∨ P(an))
 
~(∀x , P(X)) ⇔ P(a1) ∨ P(a2) ∨ ... ∨ P(an)
 
 
 
Explicação:
Aplicando uma das leis de De Morgan (que se refere a negação de uma conjunção), tem-se: 
~(∀x, P(x)) ⇔ ~P(a1) ∨ ~P(a2) ∨ ... ∨ ~P(an)
 
 
 
 
4.
q ∧ r
r ∨ s
r ∧ s
s ∨ t
q ∨ ~p
 
 
 
Explicação:
Se ~q é verdade, q é falso, logo p tem que ser verdade.
Se p é verdade, então r é verdade.
Se r é verdade, r v s é conclusão válida, pois basta um elemento ser verdade para validar a conclusão e r
satisfaz essa condição.
 
 
 
 
5.
(x+y) = Q
~(x+y) ⇔ Q
(x+y) ∈ Q
∃X , ∀Y
30/05/2020 Estácio: Alunos
estacio.webaula.com.br/Classroom/index.asp?191C757E76=4842233C2141B5F19DC3C07E007D5F6656FE96C552DDA5ED2324AE618F0722… 3/4
Assinale a ÚNICA alternativa que apresenta a negação da sentença "todo brasileiro joga futebol":
Apresente a negação da sentença quantificada 
Seja x uma variável e E uma fórmula, se x ocorre em E dentro do escopo de um quantificador, diz-se que a variável é do
tipo:
∀Y , (x+y)
 
 
 
Explicação:
Numa expressão ∀x P(x) diz-se que P(x) é o alcance do quantificador ∀x, ∀ é o símbolo do quantificador universal e x é a
variável alvo da quantificação universal que deve ser quantificada.
 
 
 
 
6.
nenhum brasileiro joga futebol
nenhuma das alternativas anteriores
todo brasileiro não joga futebol
nem todo brasileiro joga futebol
nem todo brasileiro não joga futebol
 
 
 
Explicação:
Considere:
x - brasileiro
P(x) - joga futebol
Logo, a negação da sentença é dada por:
Em linguagem natural, significa que "nem todo brasileiro joga futebol" ou "existe brasileiro que não joga futebol"
 
 
 
 
7.
 
 
 
Explicação:
Aplicação direta das leis de equivalência para sentenças quantificadas. Corresponde a afirmar que todo x não atende a P(x) ou
que nenhum x atende a P(x)
 
 
 
 
8.
predicada
quantificada
ligada
livre
nenhuma das alternativas anteriores
 
 
¬(∀x, P(x)) ⟺ ∃x, ¬P(x)
∃x, P(x)
∃x, ¬P(¬x)
∀x, P(x)
∃x, P(¬x)
∃x, ¬P(x)
∀x, ¬P(x)
30/05/2020 Estácio: Alunos
estacio.webaula.com.br/Classroom/index.asp?191C757E76=4842233C2141B5F19DC3C07E007D5F6656FE96C552DDA5ED2324AE618F0722… 4/4
 
Explicação:
O enunciado traz a definição de variável ligada.
 
 
 
 
 
 
 
 Não Respondida Não Gravada Gravada
 
 
Exercício inciado em 30/05/2020 13:36:23. 
 
 
 
javascript:abre_colabore('36890','196990429','3944770647');
30/05/2020 Estácio: Alunos
estacio.webaula.com.br/Classroom/index.asp?191C757E76=4842233C2141B5F19DC3C07E007D5F6656FE96C552DDA5ED2324AE618F0722… 1/3
 
Teorema pode ser definido como:
Todas são formas de construção para a prova de um teorema, exceto:
MATEMÁTICA COMPUTACIONAL 
Lupa Calc.
 
 
Vídeo
 
PPT
 
MP3
 
CCT0750_A10_201907316523_V1 
 
Aluno: JENNYFFER NOVAES DE MORAIS Matr.: 201907316523
Disc.: MATEMÁTICA COMPUTAC. 2020.1 EAD (GT) / EX
 
Prezado (a) Aluno(a),
 
Você fará agora seu TESTE DE CONHECIMENTO! Lembre-se que este exercício é opcional, mas não valerá ponto para sua
avaliação. O mesmo será composto de questões de múltipla escolha.
Após responde cada questão, você terá acesso ao gabarito comentado e/ou à explicação da mesma. Aproveite para se
familiarizar com este modelo de questões que será usado na sua AV e AVS.
 
1.
Afirmação que pode ser demonstrada como verdadeira, por meio de outras afirmações que já foram provadas.
Verdade inquestionável e universalmente válida.
Todas as alternativas anteriores.
Processo de raciocínio lógico-dedutivo no qual, assumindo-se uma hipótese como verdadeira, deduz-se uma tese
(resultado) através do uso de argumentos.
N.D.A.
 
 
 
Explicação:
Afirmação que pode ser demonstrada como verdadeira, por meio de outras afirmações que já foram provadas.
 
 
 
 
2.
Demostração condicional
Demostração por prova direta
Demostração por contradição
Demostração por indução
Demostração por conversão
 
 
 
Explicação:
Os principais métodos de demonstração: direta, contradição, condicional e por indução;
 
 
javascript:voltar();
javascript:voltar();
javascript:diminui();
javascript:aumenta();
javascript:calculadora_on();
javascript:abre_frame('1','10','','','315373048');
javascript:abre_frame('2','10','','','315373048');
javascript:abre_frame('3','10','','','315373048');
30/05/2020 Estácio: Alunos
estacio.webaula.com.br/Classroom/index.asp?191C757E76=4842233C2141B5F19DC3C07E007D5F6656FE96C552DDA5ED2324AE618F0722… 2/3
A primeira etapa do método de demonstração por indução finita consiste em mostrar que o enunciado é válido para o
primeiro elemento do conjunto universo. A esta etapa, dá-se o nome de:
O processo de raciocínio lógico-dedutivo no qual, assumindo-se uma hipótese como verdadeira, deduz-se uma tese
(resultado) através do uso de argumentos é também conhecido como:
Assinale a ÚNICA alternativa que identifica a etapa do método de demonstração por indução finita em que se prova que se
o enunciado vale para n = k, então vale também para n = k + 1:
Assinale a ÚNICA alternativa que apresenta o conceito definido como "uma verdade inquestionável e universalmente
válida":
 
 
3.
princípio de indução
nenhuma das alternativas anteriores
passo de indução
base
fundamento
 
 
 
Explicação:
A base é a etapa em que se mostra que o enunciado (conclusão) vale para o primeiro elemento do conjunto universo,
normalmente n = 1.
 
 
 
 
4.
proposição
enunciado
sentença
prova
predicado
 
 
 
Explicação:
O enunciado apresenta a definição de prova ou demonstração.
 
 
 
 
5.
base
passo de repetição
passo de conclusão
passo de indução
topo
 
 
 
Explicação:
O passo de indução da demonstração por indução finita é a etapa em que se prova que se o enunciado vale para n = k, então
vale também para n = k + 1
 
 
 
 
6.
nenhuma das alternativas anteriores
tese
teorema
30/05/2020 Estácio: Alunos
estacio.webaula.com.br/Classroom/index.asp?191C757E76=4842233C2141B5F19DC3C07E007D5F6656FE96C552DDA5ED2324AE618F0722… 3/3
Assinale a ÚNICA alternativa que NÃO apresenta um método de demonstração utilizado em Lógica Matemática:
Na Demonstração Indireta ou por Contradição, que se estuda nos Métodos da Demonstração, para se provar " r
" dadas as premissas " ~p V q " , " ~r -> ~q " e " p ", após se elencar as três premissas verdadeiras, o passo de
negação da conclusão, deve ser:
axioma
hipótese
 
 
 
Explicação:
O enunciado apresenta a definição de axioma (BROCHI, p. 167).
 
 
 
 
7.
indução finita
forma condicional
redução ao absurdo
prova direta
redução ao infinito
 
 
 
Explicação:
Os métodos de prova direta, indução finita, redução ao absurdo e forma condicional são usualmente empregados para
demonstração em Lógica Matemática.
 
 
 
 
8.
p (assumir, definitivamente, como falsa a proposição P)
~q (assumir, provisioriamente, como falsa a conclusão Q)
p (assumir, provisioramente, como falsa a conclusão Q)
~r (assumir, provisioriamente, como falsa a conclusão Q)
r (assumir, definitivamente, como verdadeira a conclusão Q)
 
 
 
Explicação:
Na prova por contradição, deve-se assumir uma premissa provisória, que é a negação da conclusão. Como a conclusão é r, a
falsa conclusão Q é ~r. 
 
 
 
 
 
 
 
 Não Respondida Não Gravada Gravada
 
 
Exercício inciado em 30/05/2020 12:35:15. 
 
 
 
javascript:abre_colabore('36890','196978023','3944447398');
30/05/2020 Estácio: Alunos
estacio.webaula.com.br/Classroom/index.asp?191C757E76=4842233C2141B5F19DC3C07E007D5F6656FE96C552DDA5ED2324AE618F0722… 1/3
 
Teorema pode ser definido como:
Todas são formas de construção para a prova de um teorema, exceto:
MATEMÁTICA COMPUTACIONAL 
Lupa Calc.
 
 
Vídeo
 
PPT
 
MP3
 
CCT0750_A10_201907316523_V2 
 
Aluno: JENNYFFER NOVAES DE MORAIS Matr.: 201907316523
Disc.: MATEMÁTICA COMPUTAC. 2020.1 EAD (GT) / EX
 
Prezado (a) Aluno(a),
 
Você fará agora seu TESTE DE CONHECIMENTO! Lembre-se que este exercício é opcional, mas não valerá ponto para sua
avaliação. O mesmo será composto de questões de múltipla escolha.
Apósresponde cada questão, você terá acesso ao gabarito comentado e/ou à explicação da mesma. Aproveite para se
familiarizar com este modelo de questões que será usado na sua AV e AVS.
 
1.
Todas as alternativas anteriores.
N.D.A.
Processo de raciocínio lógico-dedutivo no qual, assumindo-se uma hipótese como verdadeira, deduz-se uma tese
(resultado) através do uso de argumentos.
Afirmação que pode ser demonstrada como verdadeira, por meio de outras afirmações que já foram provadas.
Verdade inquestionável e universalmente válida.
 
 
 
Explicação:
Afirmação que pode ser demonstrada como verdadeira, por meio de outras afirmações que já foram provadas.
 
 
 
 
2.
Demostração por conversão
Demostração condicional
Demostração por indução
Demostração por contradição
Demostração por prova direta
 
 
 
Explicação:
Os principais métodos de demonstração: direta, contradição, condicional e por indução;
 
 
javascript:voltar();
javascript:voltar();
javascript:diminui();
javascript:aumenta();
javascript:calculadora_on();
javascript:abre_frame('1','10','','','315373048');
javascript:abre_frame('2','10','','','315373048');
javascript:abre_frame('3','10','','','315373048');
30/05/2020 Estácio: Alunos
estacio.webaula.com.br/Classroom/index.asp?191C757E76=4842233C2141B5F19DC3C07E007D5F6656FE96C552DDA5ED2324AE618F0722… 2/3
Sobre Métodos da Demonstração, no processo de Demonstração por Contradição, através da lei de equivalência referente à
eliminação do condicional, pode-se afirmar que se "P => Q", então o condicional "P -> Q" é verdadeiro e equivale a:
Assinale a ÚNICA alternativa que NÃO apresenta um método de demonstração utilizado em Lógica Matemática:
Assinale a ÚNICA alternativa que identifica a etapa do método de demonstração por indução finita em que se prova que se
o enunciado vale para n = k, então vale também para n = k + 1:
Assinale a ÚNICA alternativa que apresenta o conceito definido como "uma verdade inquestionável e universalmente
válida":
 
 
3.
~(~(P ∧ ~Q))
~(P ∧ ~Q)
(P ∧ ~Q)
P V Q
~(P V ~Q)
 
 
 
Explicação:
P -> Q <=> ~P V Q ou, aplicando De Morgan, ~(P ∧ ~Q).
 
 
 
 
4.
forma condicional
indução finita
redução ao infinito
prova direta
redução ao absurdo
 
 
 
Explicação:
Os métodos de prova direta, indução finita, redução ao absurdo e forma condicional são usualmente empregados para
demonstração em Lógica Matemática.
 
 
 
 
5.
passo de indução
passo de conclusão
base
topo
passo de repetição
 
 
 
Explicação:
O passo de indução da demonstração por indução finita é a etapa em que se prova que se o enunciado vale para n = k, então
vale também para n = k + 1
 
 
 
 
6.
nenhuma das alternativas anteriores
tese
teorema
30/05/2020 Estácio: Alunos
estacio.webaula.com.br/Classroom/index.asp?191C757E76=4842233C2141B5F19DC3C07E007D5F6656FE96C552DDA5ED2324AE618F0722… 3/3
O processo de raciocínio lógico-dedutivo no qual, assumindo-se uma hipótese como verdadeira, deduz-se uma tese
(resultado) através do uso de argumentos é também conhecido como:
A primeira etapa do método de demonstração por indução finita consiste em mostrar que o enunciado é válido para o
primeiro elemento do conjunto universo. A esta etapa, dá-se o nome de:
axioma
hipótese
 
 
 
Explicação:
O enunciado apresenta a definição de axioma (BROCHI, p. 167).
 
 
 
 
7.
predicado
sentença
enunciado
prova
proposição
 
 
 
Explicação:
O enunciado apresenta a definição de prova ou demonstração.
 
 
 
 
8.
passo de indução
nenhuma das alternativas anteriores
fundamento
base
princípio de indução
 
 
 
Explicação:
A base é a etapa em que se mostra que o enunciado (conclusão) vale para o primeiro elemento do conjunto universo,
normalmente n = 1.
 
 
 
 
 
 
 
 Não Respondida Não Gravada Gravada
 
 
Exercício inciado em 30/05/2020 13:09:42. 
 
 
 
javascript:abre_colabore('36890','196985081','3944634327');
30/05/2020 Estácio: Alunos
estacio.webaula.com.br/Classroom/index.asp?191C757E76=4842233C2141B5F19DC3C07E007D5F6656FE96C552DDA5ED2324AE618F0722… 1/3
 
Teorema pode ser definido como:
Todas são formas de construção para a prova de um teorema, exceto:
MATEMÁTICA COMPUTACIONAL 
Lupa Calc.
 
 
Vídeo
 
PPT
 
MP3
 
CCT0750_A10_201907316523_V3 
 
Aluno: JENNYFFER NOVAES DE MORAIS Matr.: 201907316523
Disc.: MATEMÁTICA COMPUTAC. 2020.1 EAD (GT) / EX
 
Prezado (a) Aluno(a),
 
Você fará agora seu TESTE DE CONHECIMENTO! Lembre-se que este exercício é opcional, mas não valerá ponto para sua
avaliação. O mesmo será composto de questões de múltipla escolha.
Após responde cada questão, você terá acesso ao gabarito comentado e/ou à explicação da mesma. Aproveite para se
familiarizar com este modelo de questões que será usado na sua AV e AVS.
 
1.
Verdade inquestionável e universalmente válida.
N.D.A.
Processo de raciocínio lógico-dedutivo no qual, assumindo-se uma hipótese como verdadeira, deduz-se uma tese
(resultado) através do uso de argumentos.
Afirmação que pode ser demonstrada como verdadeira, por meio de outras afirmações que já foram provadas.
Todas as alternativas anteriores.
 
 
 
Explicação:
Afirmação que pode ser demonstrada como verdadeira, por meio de outras afirmações que já foram provadas.
 
 
 
 
2.
Demostração condicional
Demostração por contradição
Demostração por indução
Demostração por conversão
Demostração por prova direta
 
 
 
Explicação:
Os principais métodos de demonstração: direta, contradição, condicional e por indução;
 
 
javascript:voltar();
javascript:voltar();
javascript:diminui();
javascript:aumenta();
javascript:calculadora_on();
javascript:abre_frame('1','10','','','315373048');
javascript:abre_frame('2','10','','','315373048');
javascript:abre_frame('3','10','','','315373048');
30/05/2020 Estácio: Alunos
estacio.webaula.com.br/Classroom/index.asp?191C757E76=4842233C2141B5F19DC3C07E007D5F6656FE96C552DDA5ED2324AE618F0722… 2/3
Sobre Métodos da Demonstração, no processo de Demonstração por Contradição, através da lei de equivalência referente à
eliminação do condicional, pode-se afirmar que se "P => Q", então o condicional "P -> Q" é verdadeiro e equivale a:
Assinale a ÚNICA alternativa que NÃO apresenta um método de demonstração utilizado em Lógica Matemática:
Assinale a ÚNICA alternativa que identifica a etapa do método de demonstração por indução finita em que se prova que se
o enunciado vale para n = k, então vale também para n = k + 1:
Assinale a ÚNICA alternativa que apresenta o conceito definido como "uma verdade inquestionável e universalmente
válida":
 
 
3.
~(P ∧ ~Q)
~(~(P ∧ ~Q))
P V Q
(P ∧ ~Q)
~(P V ~Q)
 
 
 
Explicação:
P -> Q <=> ~P V Q ou, aplicando De Morgan, ~(P ∧ ~Q).
 
 
 
 
4.
redução ao absurdo
indução finita
prova direta
forma condicional
redução ao infinito
 
 
 
Explicação:
Os métodos de prova direta, indução finita, redução ao absurdo e forma condicional são usualmente empregados para
demonstração em Lógica Matemática.
 
 
 
 
5.
passo de indução
topo
base
passo de conclusão
passo de repetição
 
 
 
Explicação:
O passo de indução da demonstração por indução finita é a etapa em que se prova que se o enunciado vale para n = k, então
vale também para n = k + 1
 
 
 
 
6.
nenhuma das alternativas anteriores
hipótese
axioma
30/05/2020 Estácio: Alunos
estacio.webaula.com.br/Classroom/index.asp?191C757E76=4842233C2141B5F19DC3C07E007D5F6656FE96C552DDA5ED2324AE618F0722… 3/3
O processo de raciocínio lógico-dedutivo no qual, assumindo-se uma hipótese como verdadeira, deduz-se uma tese
(resultado) através do uso de argumentos é também conhecido como:
A primeira etapa do método de demonstração por indução finita consiste em mostrar que o enunciado é válido para o
primeiro elemento do conjunto universo. A esta etapa, dá-se o nome de:
teorema
tese
 
 
 
Explicação:
O enunciado apresenta a definição de axioma (BROCHI, p. 167).
 
 
 
 
7.
predicado
proposição
sentença
enunciado
prova
 
 
 
Explicação:
O enunciado