SóProvas


ID
1506292
Banca
FUNIVERSA
Órgão
SEAP-DF
Ano
2015
Provas
Disciplina
Raciocínio Lógico
Assuntos

A respeito de lógica proposicional e de argumentação, julgue o item.

Se uma proposição pode ser simbolizada na forma P↔Q, então ela é equivalente à proposição simbolizada na forma (P→Q)∧(Q→P), isto é, independentemente das valorações V ou F de P e Q, as proposições P↔Q e (P→Q)∧(Q →P) têm sempre as mesmas valorações.

Alternativas
Comentários
  • Gabarito correto. Ao meu ver, o item cobrou dois conhecimentos do candidato, a saber:

    1) Conhecimento sobre equivalências;

    2)  E o conhecimento sobre o conceito de tautologia.


  • p<->  q

    v       v    v

    v      f      f

    f       v    f

    f       f     v


    (p->q) e (q->p)

    A tabela da verdade da expressão acima chega ao mesmo resultado V F F V 

    Portanto as duas expressões são equivalentes independentes  dos valores ....


  • P    Q   P-->Q   Q-->P    (P->Q)^(Q->P)    PQ

    V    V     V           V                   V                  V

    V    F     F           V                    F                  F

    F    V     V           F                    F                  F 

    F    F     V           V                    V                  V


    Fazendo pela tabela verdade, são equivalentes.

    Gabarito: certo

  • Se é Bicondicional é porque é condicional para os dois lados.

    ALFA.

  • Uma é a forma sintética e a outra é a forma analítica

  • Gabarito: certo

    --

    É raro cair, mas, quando cai, derruba muita gente. Equivalência do "se e somente se":

    A <-> B = ( A -> B ) ∧ ( B -> A ); ( O CASO DA QUESTÃO )

    A <-> B = ( A ∧ B ) v ( ~A ∧ ~B ).

  • A questão só cobrou o conceito de equivalência. Bastava saber que A <-> B = (A->B) ^ (B->A)

    Independente de quem é V ou F, elas terão os mesmos valores porque são equivalentes.