SóProvas


ID
1117480
Banca
CESGRANRIO
Órgão
FINEP
Ano
2014
Provas
Disciplina
Raciocínio Lógico
Assuntos

No contexto do Cálculo Proposicional, é verdadeira a afirmação

Alternativas
Comentários
  • Lei de Morgan: ~ (p ^ q) = p v ~q

  • Lei de Morgan não seria: ~ (p ^ q) = ~p v ~q ????

    alguém poderia explicar?

  • Lei de Morgan:

    1) ~(P ^ Q) = ~P v ~Q 
    2) ~(P ^ Q) = P -> ~Q 
    3) ~(P v Q) = ~P ^ ~Q
  • essas interrogações ai? O.o

  • ~ ( p ^ q ) = ~ p v ~ q = p ---> ~ q 

    alternativa b.

  • Não entendi o objetivo dessas interrogações, alguém pode explicar?

  • No contexto do Cálculo Proposicional, é verdadeira a afirmação
    (A) (~p ˄ q) é equivalente a ~(p ˅ q)
    (B) ~(p ˄ q ) é equivalente a (p → ~q)
    (C) (p ˅ q) é equivalente a ~(p ˄ q)
    (D) (p → q) é equivalente a (p ˄ ~q)
    (E) ~(p → q) é equivalente a (~p ˅ q)

  • A maneira mais fácil que achei foi fazer por eliminação.

    a) Pela lei de Morgan verifica-se que é falsa, uma vez que "(¬p ^ ¬q) é equivalente a ¬(p v q)". 

    b) Verdadeira. Para comprovar é só fazer a tabela verdade das duas. 

    c) Da mesma forma que a letra A, pela lei de Morgan a alternativa é falsa. "(¬p v ¬q) é equivalente a ¬(p ^ q)".

    d) Falsa. Se refere a negação da condicional e essa equivalência diz que " ¬(p -> q) é equivalente a (p ^ ¬q)". 

    e) Falsa. Pela equivalência contra-positiva a alternativa é falsa. Essa equivalência diz que " (p -> q) é equivalente a (¬ p v q)". 

    A banca trocou as equivalências das alternativas d) e e) e as alterativas a) e c) estão incompletas, por isso são todas falsas.

  • ~(p^q) Equivale à  ~pv~q  que por sua vez também equivale a   p>~q

  • Realmente essa é matadora, e até agora, nem o professor quis comentar. kkk


    Vamos lá:

    --------------------------------------------------------------------------------------------------------------------


    Essa se faz de trás pra frente:


    b) ~(p ^ q ) é equivalente a (p → ~q)


    Perceba ao distribuir ~(p ^ q )  teremos o seguinte:   (~p V ~q)   que é equivalente a (p → ~q), pois uma das duas regras da equivalência diz que devemos (negar a primeira ou manter  a segunda). Sendo assim, é só verificar de trás para frente.


    -------------------------------------------------------------------------------------------------------------------


    Assim:  (p → ~q) é equivalente a (~p V ~q), esta pode ser representada por ~(p ^ q ) .


    Pegadinha malandra.


  • P     Q      ~P     ~Q       P->Q        P v Q      P-> ~Q         P ^ Q         ~ ( P ^ Q)

    V     V       F        F           V               V              F                  V                     F

    V     F       F        V           F               V              V                  F                     V

    F     V       V        F           V               V                              F                     V

    F     F       V        V           V               F              V                 F                      V


    Dessa forma, não precisa decorar equivalência nenhuma, se a tabela verdade for igual há equivalência. 

  • Resolvendo cada alternativa até encontrarmos a correta:

    A) (~p ^ q) = ~(p v ~q), portanto, alternativa errada.

    B) ~(p ^ q) = ~p v ~q = (p→ ~q), Alternativa correta, pois:

    A→B = ~A v B pela equivalência da condicional.


    Resposta: Alternativa B.
  • Resposta (B)

    b) ~(p^q)  equivalente a (p → ~q)

    O raciocínio é simples! Primeiro fazemos a negação de ~(p^q), (nega o primeiro, troca o E pelo o OU, e nega o segundo)= (~p v ~q), Apareceu o "OU",então podemos fazer a EQUIVALÊNCIA.

    Equivalência de (~p v ~q) = (Troca o “ou” pelo “Se.. Então”, nega o primeiro e repete o segundo) = (p → ~q).


  •  a)(~p ^ q) é equivalente a ~(p ˅ q)

    ERRADO. Lei de Morgan==> ~(p^q) =~(p˅q)

     

     b) ~(p ^ q ) é equivalente a (p → ~q)

    CORRETO

    1) Primeiro devemos saber que: p→ q = ~p ˅ q ou p ˅ q = ~p→ q (Nega primeira e mantém a segunda)

    2) Resolvemos a primeira parte com a lei de Morgan ~(p ^ q ) = ~p ˅ ~q

    3) Aplicando a regra de negar a primeira e manter a segunda termos : ~p ˅ ~q = p→ ~q

     

     c) (p ˅ q) é equivalente a ~(p ^ q)

    ERRADO. Idem letra a

     

     d) (p → q) é equivalente a (p ^ ~q)

    ERRADO .idem letra b (Nega a PRIMEIRA e mantém a SEGUNDA)

     

     e) ~(p → q) é equivalente a (~p ˅ q)

    ERRADO. Negação da condicional: ~(p → q) = p ^~ q (Mantém a primeira E nega a segunda)

  • ~ ( P ^ Q) = ~P v ~Q = P - > ~Q.

     

    gabarito ''B''

  • Youtube: Como decorar as equivalências lógicas - Professor Joselias.

  • Gabarito B:

    Desenvolvendo a proposição, temos:

    P --> ~Q, cuja equivalência é ~P v ~Q (Nega e Mantém) ou ~(P ^ Q)