SóProvas


ID
2955988
Banca
COPEVE-UFAL
Órgão
Prefeitura de Porto Calvo - AL
Ano
2019
Provas
Disciplina
Raciocínio Lógico
Assuntos

A partir do conjunto de premissas {∀x(F(x)→G(x) ∨ H(x)),∀ x¬G(x)}, pode-se inferir que

Alternativas
Comentários
  • misericódia!

  • entendi nada!!!!!!

  • Misericórdia é esse professor comentando.

  • b) ∃ x (F(x)→H(x)).

  • Diabo é isso meRmo ?

    B) ∃ x (F(x)→H(x)). gabarito pra quem quiser kkkkkkkkkkkkkk

  • Gente só tá escrito de forma difícil, vamos tentar simplificar:

    {∀x(F(x)→G(x) ∨ H(x)),∀ x¬G(x)}

    Para todo X, F(x)→G(x) v H(x) é verdadeiro. Simplificamos isso assim: F→GvH é verdadeiro

    Para todo X, ¬G(x), ou seja, G é falso

    F→GvH

    Para essa proposição ser verdadeira, basta que o H seja verdadeiro, pois na disjunção VvV e FvV é verdadeiro.

    Sabendo que o G é falso, e o H deve ser verdadeiro vamos as alternativas

    ∃ x (F(x)→G(x)). F→G. Incorreto, se F for verdadeiro a proposição será falsa.

    ∃ x (F(x)→H(x)). F→H. Correto. Sendo F verdadeiro ou falso, com H verdadeiro a proposição é verdadeira.

  • Essa questão não é tão difícil quanto parece, basta reescrever o enunciano e entender as alternativas.

    Primeiramente, ∀ significa "Para Todo" e ∃ significa "Existe".

    Agora reescrevendo fica "Para Todo x, F(x) -> G(x) v H(x) e para todo X, ~G(x)"

    Então temos que F -> [G(Falso) v H]

    Agora basta ver qual alternativa não pode ter o valor como Falso.

    Não é preciso olhar as alternativas, a única forma de tornar falsa essa preposição é se F for Verdadeiro e H for Falso. Pois, V -> (F v F) torna a premissa Falsa.

    Então basta achar a alternativa que tiver F -> H.

  • Cadê o professor Ivan Chagas quando se precisa? Espero que veja essa questão logo.