Considerando os conectivos lógicos usuais, assumindo que as ...

Considerando os conectivos lógicos usuais, assumindo que as letras maiúsculas representam proposições lógicas e considerando que o símbolo ⁓ representa a negação, julgue o item a seguir, relacionados à lógica proposicional.

A proposição “Se Paulo foi aprovado em um concurso esse ano, então Paulo e Maria não se mudaram para Maceió.” é logicamente equivalente à proposição “Paulo não foi aprovado em um concurso esse ano ou Paulo e Maria não se mudaram para Maceió.”.