Questão 2094961

• Banca: FGV
• Órgão: COMPESA
• Ano: 2016
• Provas: FGV - 2016 - COMPESA - Analista de Gestão - Administrador de Banco de Dados
• Disciplina: Algoritmos e Estrutura de Dados
• Assuntos: Algoritmos; Lógicas de Programação

Considere a expressão lógica A → B, lida como “se A é verdadeiro então B é verdadeiro”.

Dado que A e B são expressões lógicas, assinale a opção que indica uma expressão lógica equivalente à referida expressão.

• A. ~A or B
• B. ~A or ~B
• C. ~A and B
• D. ~A and ~B
• E. ~(A or B)

Gabarito: A

Comentários

• p–>q é equivalente a ~q–>~p! Essa equivalência é muito conhecida e extremamente cobrada em provas de concurso. Aproveite e grave também que essas duas proposições são equivalentes também a esta aqui: ~p ou q. 

  https://www.estrategiaconcursos.com.br/blog/proposicoes-equivalentes-logica-proposicional-4/

• Também podemos a dupla negação (negar 2x) para chegar à equivalência.

  1ª negação: A e ~B. Mantenho A positivo, mudo o conectivo de "Se-Então" para "e", coloco B negativo.

  2ª negação: ~A ou B. Coloco A negativo, mudo o conectivo de "e" para "ou", mudo B para positivo.

  Resposta Letra A

   

• Força Guerreiro!!!!!!

• Regra do NEYMAR -> nega a primeira e mantém a segunda, colocando o conectivo OU. (A ->B = ~A OU B)

  Também é possível usar a Regra do CRUZAR NEGADO -> inverte e nega as as proposições (A->B = ~B -> ~A)