Simulado Matemática e Lógica

Prévia do material em texto

ESTÁCIO
Centro Universitário – Graduação
Disciplina: Matemática e Lógica Período: 2020
Avaliação: Simulado Integrado Código: ML-2020-04
Aluno(a): _____________________________________________ Turma: ________
Matrícula: _______________ Data: ____/____/2020
INSTRUÇÕES: A prova contém 10 questões objetivas de múltipla escolha, cada uma com 5 alternativas e apenas
uma correta. Marque suas respostas com caneta azul ou preta. Não é permitido o uso de calculadora ou material
de consulta. Boa prova!
Questão 01. A negação da proposição quantificada ∀x, P(x) é:
a) ∀x, ¬P(x)
b) ∃x, ¬P(x)
c) ∃x, P(x)
d) ¬∃x, P(x)
e) ∀x, P(x)
Questão 02. A negação da proposição categórica "Algum A é B" é:
a) Todo A é B
b) Algum A não é B
c) Nenhum A é B
d) Todo B é A
e) Algum B é A
Questão 03. O argumento "Se chove, a rua molha. A rua não molhou. Logo, não choveu."
corresponde à regra de inferência:
a) Modus Ponens
b) Silogismo hipotético
c) Modus Tollens
d) Falácia da negação do antecedente
e) Adição
Questão 04. O Silogismo Hipotético é a regra de inferência que apresenta a forma:
a) p → q, p ⊢ q
b) p → q, ¬q ⊢ ¬p
c) p ∨ q, ¬p ⊢ q
d) p → q, q → r ⊢ p → r
e) p ⊢ p ∨ q
Questão 05. A proposição ∃x ∈ ℕ, x > 5 deve ser lida como:
a) Todo número natural é maior que 5
b) Existe um número natural maior que 5
c) Nenhum número natural é maior que 5
d) Existe um único natural maior que 5
e) Todo número natural é menor que 5
Questão 06. A contrapositiva da proposição "Se um número é divisível por 4, então ele é par"
é:
a) Se um número é par, então é divisível por 4
b) Se um número não é divisível por 4, então não é par
c) Se um número não é par, então não é divisível por 4
d) Se um número é ímpar, então é divisível por 4
e) Se um número é divisível por 4, então é ímpar
Questão 07. Considere as premissas "Todo professor é estudioso" e "João é professor". A
conclusão válida é:
a) João não é estudioso
b) Algum estudioso não é professor
c) Nenhum professor é João
d) João é estudioso
e) Todo estudioso é professor
Questão 08. Pelo Silogismo Disjuntivo, a partir das premissas p ∨ q e ¬p, conclui-se:
a) p
b) ¬q
c) q
d) p ∧ q
e) ¬p ∧ ¬q
Questão 09. Na sintaxe da linguagem Prolog, o fato "pai(joao, maria)." indica que:
a) maria é pai de joao
b) joao e maria são irmãos
c) é uma pergunta ao sistema
d) joao é pai de maria
e) joao não é pai de maria
Questão 10. Em Prolog, uma consulta (query) ao programa é tipicamente iniciada pelo
símbolo:
a) :-
b) //
c) ?-
d) #
e) =>
ESTÁCIO
Centro Universitário – Graduação
Disciplina: Matemática e Lógica Período: 2020
Avaliação: Simulado Integrado Código: ML-2020-04
Aluno(a): _____________________________________________ Turma: ________
Matrícula: _______________ Data: ____/____/2020
GABARITO OFICIAL
Questão 01 02 03 04 05 06 07 08 09 10
Resposta B C C D B C D C D C
Simulado original de estudo, elaborado no estilo e formato das avaliações de Matemática e Lógica. As questões são autorais e
destinadas à preparação; não reproduzem provas oficiais.