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"?