Questão de Ciência da Computação (ENADE)ENADE — 2014Diversas

Questão da prova oficial, com gabarito conferido contra o gabarito publicado pela banca. Resolva abaixo e veja a explicação comentada.

Questão 1ENADE·Diversas·2014Ciência da Computação (ENADE)

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 ? 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 &arr; 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 bicondiciona 1). 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 ? P. É correto apenas o que se afirma em

Alternativas

Ficha técnica da questão

Banca
ENADE
Órgão
Diversas
Ano
2014
Disciplina
Ciência da Computação (ENADE)
Nº na prova
Tipo
Múltipla escolha

Fonte: prova oficial · Extração determinística com gabarito oficial conferido.

Comentários da comunidade(0)

0/2000

Nenhum comentário ainda. Seja o primeiro a explicar como resolveu.