Atividade Prática Supervisionada_ Revisão da tentativa

Prévia do material em texto

11/11/23, 15:06 Atividade Prática Supervisionada: Revisão da tentativa
https://ava.unicarioca.edu.br/graduacao/mod/quiz/review.php?attempt=2899518&cmid=1028535 1/4
Página inicial / Minha disciplinas / 142R-85238 / Espaço para AV2 / Atividade Prática Supervisionada
Iniciado em segunda, 23 Out 2023, 17:40
Estado Finalizada
Concluída em segunda, 23 Out 2023, 17:55
Tempo
empregado
15 minutos 2 segundos
Avaliar 5,00 de um máximo de 6,00(83%)
Questão 1
Incorreto
Atingiu 0,00 de 1,00
Observe o diagrama de Venn a seguir. A função representada em azul no diagrama também poderia ser expressa pela função lógica f(x,y,z) =
Escolha uma opção:
a. (x + z)y + x~yz 
b. Esta escolha foi excluída após a tentativa ser iniciada.
c. Esta escolha foi excluída após a tentativa ser iniciada.
d. (x + z)y + ~xy~z
e. Esta escolha foi excluída após a tentativa ser iniciada.
f. Esta escolha foi excluída após a tentativa ser iniciada.
g. (x + z)~y + x~yz
h. Esta escolha foi excluída após a tentativa ser iniciada.
i. Esta escolha foi excluída após a tentativa ser iniciada.
j. Esta escolha foi excluída após a tentativa ser iniciada.
k. Esta escolha foi excluída após a tentativa ser iniciada.
l. Esta escolha foi excluída após a tentativa ser iniciada.
m. Esta escolha foi excluída após a tentativa ser iniciada.
n. (x + z)~y + ~xy~z
o. Esta escolha foi excluída após a tentativa ser iniciada.
p. (x + z)y + ~x~y~z
https://ava.unicarioca.edu.br/graduacao/
https://ava.unicarioca.edu.br/graduacao/course/view.php?id=23833
https://ava.unicarioca.edu.br/graduacao/course/view.php?id=23833&sectionid=257550
https://ava.unicarioca.edu.br/graduacao/mod/quiz/view.php?id=1028535
11/11/23, 15:06 Atividade Prática Supervisionada: Revisão da tentativa
https://ava.unicarioca.edu.br/graduacao/mod/quiz/review.php?attempt=2899518&cmid=1028535 2/4
Questão 2
Correto
Atingiu 1,00 de 1,00
Considere as proposições lógicas simples P, Q, R:
P: o programador lê a literatura técnica
Q: o programador conhece o idioma inglês
R: o programador será selecionado
Pretende-se demonstrar a validade ou invalidade do seguinte argumento:
Se o programador lê a literatura técnica, então ele conhece inglês.
Se o programador conhece o idioma inglês, então ele será selecionado.
O programador não será selecionado ou ele lê a literatura técnica.
Logo, o programador lê a literatura técnica se e somente se conhece o idioma inglês.
Considerando as colocações acima, avalie as afirmações a seguir.
I. As premissas do argumento podem ser expressas na forma: P -> Q, Q -> R e ~R v P. A conclusão do argumento pode ser expressa na forma: P
<-> Q.
II. A validade do argumento se demostra com os passos: ~Q ∨ P (equivalente de uma premissa), P -> R (transitividade da implicação a partir das
premissas) e conclusão Q <-> R (conjunção de duas proposições condicionais e transformação em bicondicional).
III. A validade do argumento se demostra com os passos: R -> P (equivalente de uma premissa), Q -> P (transitividade da implicação), chegamos à
conclusão P <-> Q (conjunção de duas proposições condicionais e transformação em bicondicional).
IV. As premissas do argumento podem ser expressas na forma: P -> Q, Q -> R e ~R -> P e a conclusão do argumento acima pode ser expressa na
forma: P -> Q.
V. A invalidade do argumento acima se demonstra desta forma: a proposição lógica P <-> Q é diferente das premissas P -> Q, Q -> R e ~R v P.
É correto apenas o que se afirma em
* Obs. ^: E; v: OU; <->: Bicondicional; ->: Condicional; ~: Não
Escolha uma opção:
a. I, III e V.
b. I, II, IV e V.
c. II e IV.
d. II, III, IV e V.
e. I e III. 
11/11/23, 15:06 Atividade Prática Supervisionada: Revisão da tentativa
https://ava.unicarioca.edu.br/graduacao/mod/quiz/review.php?attempt=2899518&cmid=1028535 3/4
Questão 3
Correto
Atingiu 1,00 de 1,00
Questão 4
Correto
Atingiu 1,00 de 1,00
Uma fórmula bem formada da lógica de predicados é válida se ela é verdadeira para todas as interpretações possíveis. Considerando essa
informação, analise as duas asserções apresentadas a seguir.
A fórmula bem formada (\existe x)P(x) -> (\paratodo x)P(x) é válida
porque,
em qualquer interpretação de uma fórmula da lógica de predicados, se todo elemento do conjunto universo tem a propriedade P, então existe um
elemento do conjunto que tem essa propriedade.
Assinale a opção correta com relação a essas asserções.
Escolha uma opção:
a. A primeira asserção é uma proposição falsa, e a segunda é uma proposição verdadeira. 
b. A primeira asserção é uma proposição verdadeira, e a segunda é uma proposição falsa.
c. As duas asserções são proposições verdadeiras, e a segunda não é uma justificativa correta da primeira.
d. As duas asserções são proposições falsas.
e. As duas asserções são proposições verdadeiras, e a segunda é uma justificativa correta da primeira.
Na lógica proposicional, definem-se regras para determinar o valor-verdade (verdadeiro ou falso) de sentenças em relação a um modelo particular.
Essas regras permitem representar raciocínios lógicos comuns das linguagens naturais. Nesse contexto, considere a sentença e as proposições
lógicas a seguir.
"Um veículo que é elétrico (E) pode ser um robô (R) se for autônomo (A), caso contrário não é um robô (R)"
P1 = (E ^ R) <-> A;
P2 = E -> (R <-> A);
P3 = E -> ((A -> R) v ~R).
A sentença pode ser representada pela(s) expressão(ões) lógica(s)
* Obs. ^: E; v: OU; <->: Bicondicional; ->: Condicional; ~: Não
Escolha uma opção:
a. P2, apenas. 
b. Pl, P2 e P3.
c. P3, apenas.
d. P1 e P3, apenas.
e. P1 e P2, apenas.
11/11/23, 15:06 Atividade Prática Supervisionada: Revisão da tentativa
https://ava.unicarioca.edu.br/graduacao/mod/quiz/review.php?attempt=2899518&cmid=1028535 4/4
Questão 5
Correto
Atingiu 1,00 de 1,00
Questão 6
Correto
Atingiu 1,00 de 1,00
Seja o universo U = {10, 20, 30, 40} e o conjunto dos números naturais N. Com base no conhecimento sobre a lógica de predicados, avalie as
afirmações a seguir.
I. H = (\paratodo x \pertence N)(3y \pertence U)(x < y) é válida.
II. H = (\paratodo x \pertence N)(3y \pertence N)(y < x) é válida.
III. H = (\paratodo x \pertence U)(3y \pertence U)(x > y) é inválida, sendo x = 10 um contra-exemplo.
É correto o que se afirma em
Escolha uma opção:
a. II e III, apenas.
b. I, apenas.
c. III, apenas. 
d. I e II, apenas.
e. I, II e III.
Diferentes implementações da linguagem de programação PROLOG permitem predicados com parâmetros, aceitam as operações de conjunção e
disjunção lógica, utilizando os símbolos vírgula (conjunção) e ponto e vírgula (disjunção), e a negação lógica com o predicado "not".
Considere que um programador propôs as cláusulas mostradas a seguir, definidas em uma linguagem de programação como PROLOG, como
parte da verificação de critérios para seleção de candidatos a uma chapa de presidente e vice-presidente de uma empresa. Estas cláusulas
apresentam as premissas para chegar às conclusões selecionados, desconsiderados e descartado, a partir da possibilidade da existência de fatos
ou regras com o identificador superior.
superior(jorge).
superior(ana).
selecionados(P,Q) :- superior(P), superior(Q).
desconsiderados(P,Q) :- not(superior(P)); not(superior(Q)).
descartado(P) :- not(superior(P)).
Considerando apenas as colocações e cláusulas acima e a hipótese de mundo fechado (closed world assumption), avalie as afirmações a seguir.
I. Para todos valores dos parâmetros P e Q, o predicado "selecionados" retornará um valor lógico falso.
II. Para todos valores de P e Q, os predicados "selecionados" e "desconsiderados" retornarão valores lógicos diferentes.
III. A conjunção dos predicados "selecionados" e "desconsiderados", para quaisquer valores de P e Q, retornará um valor lógico verdadeiro.
Rio Comprido
 Av. Paulo de Frontin, 568 Rio
Comprido, Rio de Janeiro, RJ
Méier
 Rua Venceslau, 315 Méier, Rio
de Janeiro, RJ
Central de
atendimento
 (21) 2563-1919
Copyright 2022 UniCarioca. Todos os direitos reservados. Desenvolvido por
https://ava.unicarioca.edu.br/graduacao/https://ava.unicarioca.edu.br/graduacao/