Considere que P e Q sejam duas proposições e analise as afirmações abaixo.
I. “P implica Q” corresponde à proposição bicondicional.
II. “P é condição suficiente para Q” é equivalente à “Se P, então Q”.
III. “Se P então Q e se Q então P” é equivalente à “P se e somente se Q”.
IV. “Se P então Q” corresponde à proposição condicional.
De acordo com as afirmações apresentadas, assinale a alternativa correta.