SóProvas


ID
4990669
Banca
CESPE / CEBRASPE
Órgão
SERPRO
Ano
2013
Provas
Disciplina
Raciocínio Lógico
Assuntos

Considerando que o símbolo lógico  corresponda à conjunção “e”; ∨ , à disjunção “ou”;➝ , à condicional “se..., então”; ⬌, à bicondicional “se, e somente se”; ~ corresponda à negação “não”; P, Q e R sejam proposições simples; e S seja a seguinte proposição composta: [P∧~(Q∨R)]➝[R∧(P⬌Q)], julgue o próximo item.


A negação de S – ~S – pode ser corretamente expressa por [~P∨(Q∨R)]∧[(~R)∨~(P⬌Q)].

Alternativas
Comentários
  • MANE = Mantém o primeiro e nega o segundo.

  • Para a negação do conectivo "Se então" : Mantém a primeira proposição, troca o conectivo por "e" e nega a segunda proposição.

  • Gabarito: Errado

    Primeiro temos que identificar qual é a proposição principal a ser negada. Quando analisamos a proposição e os colchetes, veremos que a proposição a ser negada é o SE ENTÃO (➝).

    A negação do SE ENTÃO É o MANE (Mantém a 1ª parte e Nega a 2ª parte).

    Logo, a negação de S – ~S – é:

    [P∧~(Q∨R)]∧[(~R)∨(P ⊻ Q)]

  • [P∧~(Q∨R)]➝[R∧(P⬌Q)]= PRINCIPAL

    [~P∨(Q∨R)]∧[(~R)∨~(P⬌Q)]= NEG. PROPOSTA

    POSSO TA ERRADO MAS FUI NO CONECTIVO " E"

    (Q∨R)]--- PRINCIPAL

    (Q∨R)]----NEG. PROPOSTA

    Estao iguais. a de baixo deveria estar. ∧

  • [~P∨(Q∨R)]∧[(~R)∨~(P⬌Q)]: F V V F V V F V

    ~S: V F F F F F V F

  • NEGAÇÃO DO "SE...ENTÃO" MANTÉM A PRIMEIRA PARTE E NEGA APENAS A SEGUNDA PARTE

  • NEGAÇÃO DO "SE...ENTÃO" MANTÉM A PRIMEIRA PARTE E NEGA APENAS A SEGUNDA PARTE

  •  [P∧~(Q∨R)]➝[R∧(P⬌Q)]

    Negação da condicional:

    1. Troca pelo conectivo E
    2. Mantém a 1 e nega a 2. (''MANÉ'')

    [P∧~(Q∨R)]∧[(~R)∨~(P⬌Q)]

  • Como ficaria a negação dessa proposição: [P∧~(Q∨R)]∧[(~R)∨~(P⬌Q)]. Tô com duvida no se e somente se.

  • Mantém a primeira E Nega a segunda.

    A negação da primeira tornou o item Errado.

  • gaba ERRADO

    tu que não entendeu pode imaginar que isso seja muuuuuito difícil, mas bastava lembrar que a negação do "SE...então" é o marido infiel.

    ele mantém a primeira e vai negar a segunda.

    dessa forma, a assertiva colocou essa proposição [~P∨(Q∨R)]∧[(~R)∨~(P⬌Q)].

    ( ~ ) representa a negação. Então ele já negou a primeira. E não pode... nós tem que nega a amante, pô!

    espero que tenha te ajudado!

    @patlickAplovado

  • Negação do se então é MANÉ, mantem E nega

  • Deve-se inferir que a negação do se e somente se pode ser descrita assim:

    P se e somente se -negação P e não Q ou Q e não P

  • Outra charada é identificar se há a permanência do mesmo conectivo, tendo em vista que não se pode negar uma proposição deixando o mesmo conector.

    Já ganhei muitas questões só com esse bizu!

  • NÃO SE TROCA O "^" PELO "v" antes do então.

    Bem tranquila essa questão.

  • SEMPRE olhar primeiro o conectivo principal!

  • O primeiro passo é identificar o conectivo principal, depois de identificado saber as regras de negação deste.

  • Pessoal, só lembrando que além do Se então, tem a ⬌, que vira dijunção exclusiva ao ser negada.

    Bons Estudos.!

  • A negação de S é:

    [P∧~(Q∨R)]∧[(~R)∨(P Q)

  • Mané. Mantém a primeira e nega segunda, trocando por é. No caso ele negou a primeira.

  • Se já souber do famoso MANÉ (mantém a primeira e - - nega a segunda), como negação da proposição condicional, vc já mata a questão só de olhar o sinal ~ na proposição sugerida pelo enunciado.

    Como temos que manter toda a proposição à esquerda do conectivo , e a proposição original começa com P, então não há que se falar em ~P. Nem precisa olhar o resto.

  • O pessoal ta esquecendo de trocar o símbolo do "se e somente se" por "ou...ou" na negação da segunda parte.

  • ERRADO:

    NEGAÇÃO CORRETA:

    [P∧~(Q∨R)]∧[(~R)∨~(P V Q)]

  • NEGAÇÃO DO "SE...ENTÃO" MANTÉM A PRIMEIRA PARTE E NEGA APENAS A SEGUNDA PARTE

  • Nao acho nenhum professor explicando esse tipo que QUESTAO

  • Questão boa para revisar as negações!

    Para quem ficou na dúvida quanto a resolução, vou tentar elucidar como faço.

    Como mencionado pelos colegas: quando temos proposições compostas extensas como a "S" iremos iniciar com a proposição principal, que no caso é o "Se.. então".

    S: [P ∧ ~(Q∨R)] [R ∧ (P⬌Q)]

    1. Negação do "Se.. então" é a regrinha do "MANÉ" -> mantém a primeira e nega a segunda
    2. Negação do "e" é através da Lei de Morgan-> nega ambas as proposições e inverte o conectivo "ou"
    3. Negação do "se, e somente se" ~(P ↔ Q) ⇔ P Q

    Sugestão da negação => ~S: [P ∧ ~(Q∨R)] ^ [ (~R) v ~(P⬌ Q)]

    A primeira parte da proposição deve ser mantida

    A segunda deve ser negada

    Observe que a banca preferiu por não desenvolver a "se, e somente se", mas como está entre parênteses e com o símbolo da negação (~) já pressupõe a negação.

    Espero ter ajudado!!

    Dica: Gosto muito das aulas do prof. Brunno Lima do estratégia sobre o assunto, e do prof. Ivan Chagas com a resolução de algumas questões também!

  • Negação de "Se, então":

    1º MANÉ = Mantém a primeira "e" nega a segunda.

    2º NEyMAR = Nega a primeira "ou (V)" mantém a segunda

  • 1) EQUIVALÊNCIA do Condicional:

    a) Volta Negando p q é igual a ~q ~p

    b) NEyMAr (Nega a 1ª OU Mantém a 2ª) p q é igual a ~p V q

    2) NEGAÇÃO do Condicional:

    a) "Só dá Falso de V para F" - Copia a 1ª E nega a 2ª ~(A ~J) a negação é igual a: A ∧ J

  • GABARITO: ERRADO

    S = [P∧~(Q∨R)]➝[R∧(P⬌Q)]

    ~S = [P∧~(Q∨R)]∧[(~R)∨(P ⊻ Q)]

    Não pare até que tenha terminado aquilo que começou. - Baltasar Gracián.

    -Tu não podes desistir.

  • F --> .....

    só pode ser verdadeira

  • a proposição S no geral é um Condicional (Se, então) e sua negação é o MA-NÉ

    S = [P∧~(Q∨R)]➝[R∧(P⬌Q)]

    Mantém a Primeira = [P∧~(Q∨R)] ∧ Nega a segunda [~R v P Q] que também poderia ser [~R v (~P) (~Q)]

    Ficaria assim: [P∧~(Q∨R)] ∧ [~R v P Q] que também poderia ser [P∧~(Q∨R)] ∧ [~R v (~P) (~Q)]

    e não assim: [~P∨(Q∨R)] ∧ [(~R)∨~(P⬌Q)].

  • Minha contribuição.

    Negação

    A ^ B___________________~A v ~B

    A v B___________________~A ^ ~B

    A -> B__________________ A ^ ~B

    Todo___________________ (Algum/Existe um/Pelo menos um) + negar o resto

    Algum__________________ Nenhum + repetir o resto

    Nenhum_________________ Algum + repetir o resto

    A <-> B__________________A v B

    A v B____________________ A <-> B

    Abraço!!!