Considere verdadeira a proposição “Alfredo é maranhense se, e somente se, Miguel...

Questão de Raciocínio Lógico da banca FCM aplicada no concurso Prefeitura de Virginópolis MG (2024). Confira a resolução completa abaixo:

Considere verdadeira a proposição “Alfredo é maranhense se, e somente se, Miguel é capixaba.”

A partir da proposição apresentada, é correto concluir que, se