Enunciados de questões e informações de concursos
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.