SóProvas


ID
3379588
Banca
INSTITUTO AOCP
Órgão
UFOB
Ano
2018
Provas
Disciplina
Raciocínio Lógico
Assuntos

Duas proposições são logicamente equivalentes quando são compostas pelas mesmas proposições simples e suas tabelas-verdade são idênticas. Em consequência, ao trocar certa proposição por outra equivalente, muda-se apenas o modo de dizê-la. Em relação às proposições logicamente equivalentes, julgue o item a seguir.


A ∨ (BC) ⇔ (A ∧ B) ∨ (BC)

Alternativas
Comentários
  • gabarito: ERRADO

    a equivalência seria ( C ∧ B) v A

    Visto que a equivalência de uma conjunção "∧ " é só inverter e manter o conectivo, e a equivalência da disjunção "v" pode ser inverter e manter o conectivo ou também pode-se negar o primeiro termo e trocar o conectivo ou por se..então

  • A v (B^C) = VVVVVFFF

    (A^B)v(B^C)= VVFFVFFF

    Não são equivalentes, portanto está errado.

  • Aninha Moreira, também resolvi da mesma forma, acho muito difícil decorar regrinhas/macetes. Resolver através através da tabela verdade é melhor, mesmo que gastamos um tempo maior para resolução.

  • A v (B^C)

    Há uma disjunção inclusiva ali, e ela representa ideia de "tudo" pois não é exclusiva, logo:

    (A^B) v (A^C) seria a resposta correta.

    "Seja um especialista em responder questão, não um sabe tudo"

  • nossa, que vacilo!! vi um A no B do último parênteses ><

  • GABARITO: ERRADO

    SOLUÇÃO

    A proposição A → B é uma condicional.

    A equivalência de uma proposição condicional do tipo “A → B” pode ser obtida

    quando negamos o antecedente, repetimos o consequente e trocamos a

    condicional pela disjunção. Veja a regra:

    Proposição: A → B

    Equivalência: ~A v B

    Assim, temos:

    Proposição: A → B.

    Aplicando a regra de equivalência acima exposta, temos:

    Equivalência: ~A v B

    Conclusão: O item está incorreto, pois a banca afirma que A → B é

    equivalente a ~B v A.

  • GAB E

    A AOCP usa muito esse método distributivo. O que está dentro vai pra fora e o que está fora irá pra dentro:

    A v (B^C)

    Equivale à : ( A ^ B ) V (A ^ C)

  • Bom é que a galera coloca Ctrl+C e Ctrl+V e nem se certifica que o comentário do colega que eles colaram está errado.

    (A v B) ^ ( A v C)