Com relação a lógica sentencial e de primeira ordem, julgue o item que se segue.

As proposições “Se Mário é assessor de Pedro, então Carlos é cunhado de Mário” e “Se Carlos não é cunhado de Mário, então Mário não é assessor de Pedro” são equivalentes.