Observe as proposições abaixo:

p: Lucas aplica uma parte do seu salário todos os meses.

q: Lucas é econômico.

Qual das alternativas abaixo apresenta a tradução em linguagem simbólica da sentença "Se Lucas aplica uma parte do seu salário todos os meses, então Lucas é econômico".