Considerando as proposições p: Matheus é professor e q: Paulo é locutor, a linguagem corrente que representa a proposição p → q é:
Se Paulo é professor, então Matheus é locutor.
Se Matheus é professor, então Paulo é locutor.
Matheus é professor, se e somente se, Paulo não é locutor.
Paulo é locutor ou Matheus é professor.
Se Matheus é professor, então Paulo não é locutor.