SóProvas


ID
369787
Banca
CESPE / CEBRASPE
Órgão
TCE-RN
Ano
2009
Provas
Disciplina
Raciocínio Lógico
Assuntos

Com relação a lógica sentencial e de primeira ordem, julgue o item que se segue.


A negação da proposição (∃x)(x+3 = 25) pode ser expressa corretamente por (∀x)(x + 3 ≠ 25).

Alternativas
Comentários
  • RESPOSTA C

    Vamos passar a simbologia para palavras.

    (∃x)(x+3=25) ⇒Existe algum x, tal que, x+3=25.

    Queremos achar a negação desta proposição.

    Basta pensar assim: quando é que esta proposição é falsa?

    Quando, para qualquer x, a igualdade não ocorrer.

    Ou seja:

    Para qualquer x, x+3 ≠ 25

    Em símbolos: (∀x) (x+3 ≠ 25)

    https://is.gd/ojXuWi

    #sefaz.al2019 #ufal2019 

  • Trata-se de cálculo de predicados. É a chamada lógica de "primeira ordem". Pouco cai em concursos. De qualquer forma, na afirmativa acima, nós vemos uma negação clássica, porém, com cálculo de predicados.Esse tipo de cálculo surge primeiro com o filósofo e matemático Gottlob Frege e também por Charles Sanders Peirce ambos fazem de maneira independente. Aqui, serão utilizados quantificadores existenciais '∃' e universais '∀' para expressar as nossas famosas proposições categóricas "Algum homem é mortal" ou "todo homem é mortal", por exemplo. Dessa forma, expressando o problema na chamada "linguagem natural", temos o seguinte:

    A negação da proposição (∃x)(x+3 = 25) -- " Existe um 'x' tal qual x +3 é igual a 25";

    pode ser expressa corretamente por (∀x)(x + 3 ≠ 25) -- "Para todo(quaisquer) x, x+3 é diferente de 25";

    No chamado quadrado de oposições qual a negação da proposição "algum homem é"? "Nenhum homem é"! e vice-versa. São as proposições contraditórias. "Existe ao menos um filósofo que é milionário" sua negação é "Nenhum filósofo é milionário". É o que vemos na proposição acima expressa em "linguagem de primeira ordem".

    "A repetição, com correção, até a exaustão leva à perfeição".

  • Sem Complicação Senhores.

    Temos a Regra da Equivalência;

    MANÉ

    Mantenho a 1° e Nego a 2°.

  • (∃x)(x+3 = 25), Lê-se: Existe pelo menos um x em que x + 3 é igual a 25

    Nesse caso temos um quantificador particular afirmativo, para negá-lo, devemos

    utilizar um quantificador universal negativo. Que é exatamente o que temos na sentença seguinte:

     (∀x)(x + 3 ≠ 25). Lê-se: Para todo x, x + 3 é diferente de 25

  • Armaria!!! Essa foi pra NASA

  • É a segunda vez que vejo questão semelhante da CESPE usando esses símbolos, então vamos lá:

    ∃ = existe pelo menos um

    ∀ = todos

  • Nunca nem vi esses símbolos...kkk

    Alguém sabe de mais símbolos desses para me ajudar ???

  • CARAMBA! NUNCA NEM VI ESSE SÍMBULO

  • Acertei da seguinte forma: resolvi as que estão dentro dos parênteses.com maior quantidade de números

    e,invertir o conectivo, sinal de igual e diferente.

    Alternativa, Correta.

  • Gabarito da questão: Deixar em branco!!