SóProvas

ID
4887769
Banca
COPEVE-UFAL
Órgão
Prefeitura de Roteiro - AL
Ano
2017
Provas
Disciplina
Raciocínio Lógico
Assuntos

Considerando que os símbolos ¬, ∧, ∨, ∀ e ∃ representam negação, conjunção, disjunção, quantificador universal e quantificador existencial, respectivamente, e dado o conjunto de premissas {∀ x (¬P(x) ∧ Q(x))}, qual informação abaixo pode ser inferida?

Alternativas
Comentários

  • QUE ISSO?

  • essa ,nem Einstein acerta !

  • não perde teu tempo estudando isso

  • cair uma questão dessa na prova a pessoa não consegue responder só pelo nervosismo que dá kkkkk

  • Próxima questão, por favor.

  • Para que a conjunção seja verdade, as duas proposições devem ser verdadeiras.

     (¬P(x) ∧ Q(x)) é verdade. X não pertence ao conjunto P, mas pertence ao conjunto Q. Portanto, todo (∀) X pertence ao conjunto Q = ∀x Q(x).

    Entendi isso aí e deu certo. Boa sorte aí, galera!!

  • 2ºQ Tabela-verdade, tautologia, contradição e contingência.

    _______________

    Na verdade, dada a quantidade de símbolos, o candidato tende a se assustar e não entender com eficiência o que a questão diz, mas é extremamente simples, acompanhe-me:

    eis a minha premissa: ∀ x ( ¬P(x) ∧ Q(x) ), o que ela diz é simplesmente que, PARA TODO X, P não é de x e Q é de x. Eu sei, vc ainda não entendeu, então é hora de usar essa premissa DISCURSIVAMENTE, , exato, vou usar esses símbolos para criar uma frase equivalente:

    Considere x = mulheres, ou seja, x é qualquer elemento do conjunto MULHER

    Considere P = Paulo sabe conversar com mulheres

    Considere Q = Quésia se torna rapidamente amiga de mulher

    Logo, ∀ x (¬P(x) ∧ Q(x)) = (para toda mulher, tem-se que Paulo NÃO sabe conversar com elas E Quésia se torna rapidamente amiga delas)

    __________

    Agora verifiquemos as alternativas:

    A) ∀ x (P(x) ∧ Q(x)), ou seja, (para toda mulher, Paulo saber conversar com elas E Quésia se torna amiga delas rapidamente) , FALSO, Paulo NÃO sabe conversar com elas (interessante observar que, se estivsse o v/OU em vez do ^/E, essa conclusão seria verdadeira);

    B) ∃ x (P(x) ∧ Q(x)), ou seja, (existe uma mulher, tal que Paulo sabe conversar com ela e Quésia se torna rapidamente amiga dela), FALSO, pois sabemos que Paulo NÃO sabe conversar com mulher alguma;

    ∀ x P(x), ou seja, (para toda mulher, Paulo sabe conversar com elas), FALSO, sabemos que o banana do Paulo não sabe conversar com mulher;

    ∀ x Q(x), ou seja, (para toda mulher, Quésia se torna rapidamente amiga delas), VERDADEIRO.

    ∃ x P(x), ou seja, (existe uma mulher tal que Paulo sabe conversar com ela), FALSO, a verdade é que , PARA TODA MULHER, Paulo não sabe conversar com elas.

    ___________________

    Viram, a questão lhe deu uma premissa e concluiu parte dessa mesma premissa, extremamente simples.

    É como se ele tivesse construído o argumento:

    "Gosto de Informática E de Matemática, portanto gosto de Matemática." ARGUMENTO VÁLIDO.