Vamos analisar a proposição "F se e somente G", que é uma equivalência lógica. Essa proposição é verdadeira quando ambas as proposições F e G têm o mesmo valor de verdade, ou seja, ambas são verdadeiras ou ambas são falsas. A equivalência "F se e somente G" pode ser expressa como: - F implica G (se F é verdadeiro, então G também é verdadeiro). - G implica F (se G é verdadeiro, então F também é verdadeiro). Agora, vamos analisar as alternativas: a) F implica G e ~G implica F. Verdadeiro. Esta é a forma correta de expressar "F se e somente G". b) F implica G e ~F implica ~G. Falso. Esta não é uma equivalência correta. c) Se F então G e se ~F então G. Falso. Isso não representa a equivalência. d) F implica G e ~G implica ~F. Falso. Isso não é a forma correta de expressar a equivalência. e) F se e somente se ~G. Falso. Isso é uma proposição diferente. Portanto, a alternativa correta é: a) F implica G e ~G implica F.