A proposição bicondicional “A se e somente se B” pode ser corretamente reescrita como: "Se A, então B, e se B, então A." Isso significa que A é condição suficiente e necessária para B, ou seja, ambos acontecem juntos ou nenhum acontece. As outras opções estão incorretas porque: - "A ou B, mas não ambos" representa uma disjunção exclusiva, não uma bicondicional. - "Se A, então B, mas não se B, então A" indica apenas uma implicação, não a equivalência. - "A é condição suficiente, mas não necessária, para B" também não expressa a bicondicionalidade. Portanto, a forma correta é a primeira: “A se e somente se B” ≡ “Se A, então B, e se B, então A.”