Com relação a lógica sentencial e de primeira ordem, julgue os itens que se seguem.
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.