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çã...

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.