Considere as seguintes proposições.
A: Maria não é mineira.
B: Paulo é engenheiro.
Nesse caso, a proposição “Maria não é mineira ou Paulo é engenheiro”, que é representada por é equivalente à proposição “Se Maria é mineira, então Paulo é engenheiro”, simbolicamente representada por