Dadas as proposições "P: João é engenheiro" e "Q: João mora em São Paulo", qual é a proposição equivalente a "Se João é engenheiro, então ele mora em São Paulo"?
A
João não é engenheiro ou mora em São Paulo.
B
Se João mora em São Paulo, então ele não é engenheiro.