(Im)perfectividade, acionalidade e ensino: usando noções da Semântica Formal na Educação Básica