A proposição equivalente para “A lua é um satélite natural se e somente se Saturno ter anéis” é: a) Se a Lua é um satélite natural, então Saturno t...

A proposição equivalente para “A lua é um satélite natural se e somente se Saturno ter anéis” é:
a) Se a Lua é um satélite natural, então Saturno tem anéis ou Se Saturno tem anéis, então a Lua é um satélite natural
b) Se a Lua é um satélite natural, então Saturno não tem anéis e Se Saturno não tem anéis, então a Lua é um satélite natural
c) Se a Lua é um satélite natural, então Saturno tem anéis e Se Saturno tem anéis, então a Lua é um satélite natural
d) Se a Lua não é um satélite natural, então Saturno não tem anéis e Se Saturno tem anéis, então a Lua é um satélite natural
Resposta: Letra C. Aplicando a equivalência material que transforma a bicondicional em duas condicionais, temos que “Se a Lua é um satélite natural, então sa- turno tem anéis e se Saturno tem anéis, então a Lua é um satélite natural”.