A proposta de disciplina para ensinar é Lógica Proposicional. O documento apresenta o nome da disciplina proposta por um estudante de acordo com sua formação.