Ensino de linguagem de programação Java a partir da Lógica Proposicional: compartilhamento cidadão de saberes entre estudantes do IFRS/Campus Osório e da Escola Estadual de Ensino Médio Albatroz