A sentença logicamente equivalente a "Se Antônio e médico, então Giovana não é casada” é:

Gabarito: b)
A questão pede para encontrar a sentença logicamente equivalente à proposição condicional 'Se Antônio é médico, então Giovana não é casada'. Em lógica, uma proposição condicional 'Se P então Q' pode ser reescrita como 'Não P ou Q'.

Aplicando isso ao caso dado: P é 'Antônio é médico' e Q é 'Giovana não é casada'. Portanto, 'Se Antônio é médico, então Giovana não é casada' é logicamente equivalente a 'Antônio não é médico ou Giovana não é casada'.

Isso corresponde à alternativa (b), que afirma 'Antônio não é médico ou Giovana não é casada'.