Se p e q são proposições, é correto afirmar que a bicondicional Imagem associada para resolução da questão é logicamente equivalente a: