Questão 883126

• Banca: CESPE / CEBRASPE
• Órgão: TJ-AC
• Ano: 2012
• Provas: CESPE - 2012 - TJ-AC - Técnico Judiciário - Informática
• Disciplina: Raciocínio Lógico
• Assuntos: Equivalência Lógica e Negação de Proposições

Em decisão proferida acerca da prisão de um réu, depois
de constatado pagamento de pensão alimentícia, o magistrado
determinou: “O réu deve ser imediatamente solto, se por outro
motivo não estiver preso”.

Considerando que a determinação judicial corresponde a uma
proposição e que a decisão judicial será considerada descumprida
se, e somente se, a proposição correspondente for falsa, julgue os
itens seguintes.

As proposições “Se o réu não estiver preso por outro motivo, deve ser imediatamente solto” e “Se o réu não for imediatamente solto, então, ele está preso por outro motivo” são logicamente equivalentes.

• C. Certo
• E. Errado

Gabarito: C

Comentários

• o réu não estiver preso por outro motivo = ~P
  deve ser imediatamente solto = S
  
  Se o réu não estiver preso por outro motivo, deve ser imediatamente solto = ~P -> S
  
  Se o réu não for imediatamente solto, então, ele está preso por outro motivo = ~S -> P
  
  De acordo com a regra de equivalência (A -> B) = (~B -> ~A) a questão está correta.
• Certo. Esta equivalência é chamada de contrapositiva (é muito cobrada em concursos).
  
  "P -> Q" é equivalente "¬Q -> ¬P"
  
  Abraço.
• Basta lembrar da lei de Morgan. A equivalência de um "se... Então":    P --> Q é  ¬Q --> ¬P
  Lembrando que ela também pode ser: ¬P v Q

• Esse é o teorema do contra reciproco

• lembrando que a equivalencia de p -> q pode ser ~pUq e ¬q -> ¬p

• Certo

  p --> q

  equivalência é: ~q --> ~p

• Inverte e nega e mantém o Se Então.

• Equivalências Lógicas:
  P --> Q  é equivalente a:
  
  

  ~Q --> ~P (nega voltando)

  
  

  ~P v Q  ( nega o primeiro troque o conectivo por ou - Lembrando que trocar a ordem das preposições , nesse caso, não altera o valor. Logo ~P v Q = Q v ~P )

• É o chamado inverte e nega tudo!! Há também o caso de negar a primeira "ou" manter o consequente!!

  Bons estudos!!

• CERTO

   

  (~P ---- > Q) -= (~Q ---> P) ou (P V Q)

• EQUIVALENCIA CONDICIONAL

  -NEGA NEGA TROCA TROCA

  -NEY(ou)MAR

  NEGAÇÃO CONDICIONAL

  MA(e)NÉ

   

• Gab: CERTO

  A lógica usada para a resolução da questão é o chamado "Teorema Contrarrecíproco" (TCR), em que uma condicional (se, então) é equivalente a outra condicional, negando tudo e invertendo sua ordem.

  Ou seja, P-->Q ≡ ¬Q --> ¬P

• Trata-se da contrapositiva.

  Não esquecendo que a condicional também possui a equivalência na regra do NE Y MAR : nega a primeira ou mantém a segunda.

• P>Q <=> ~Q>~P ou

  ~P v Q

• Minha contribuição.

  Equivalência lógica da condicional:

  1° caso: A -> B (é equivalente a) ~B -> ~A

  2° caso: A -> B (é equivalente a) ~A v B

  3° caso: passar a mesma ideia, utilizando palavras diferentes.

  Abraço!!!