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