Delete proposicao.rb