Considere a sentença: “Se Pedro é torcedor do Avaí e Marcela...
Considere a sentença: “Se Pedro é torcedor do Avaí e Marcela não é torcedora do Figueirense, então Joana é torcedora da Chapecoense”.
Uma sentença logicamente equivalente à sentença dada é: