Sejam F e G duas proposições e ~F e ~G suas repectivas
negações. Marque a opção que equivale logicamente à
proposição composta: F se e somente G.
A
F implica G e ~G implica F.
B
F implica G e ~F implica ~G.
C
Se F então G e se ~F então G.
D
F implica G e ~G implica ~F.
