Qual das opções apresenta o pareamento correto para p → q ↔ ~ p ^ q → q p → {q ↔ {[(~ p) ^
q] → q}}[(p → q ↔ ~ p)] ^ q] → q
{p → [(q ↔ ~ p) ^ (q → q)]}
{p → q) ↔ {(~ p)} ^ q → q}
(p → q) ↔ {[(~ p) ^ q] → q}
Shaday está aguardando sua ajuda, Clique aqui para responder.