Tiradentes do Sul, RS História da Cidade

Dados do Instituto Brasileiro de Geografia e Estatística. A faixa de CEP de Tiradentes do Sul, RS é de 98680000 à 98689999 e o código IBGE do município é 4321477. Quem nasce na cidade é chamado de tiradentense e para ligar para Tiradentes do Sul utilize o DDD 55.

Instituto Brasileiro de Geografia e Estatística

O nome do município é uma homenagem cívica ao mártir da Independência Tiradentes. O primeiro nome dado ao município foi Canafístula, mas cujo o nome não era de agrado dos moradores.
No dia 21 de abril de 1946, dia de aniversário do mais antigo morador, era inaugurada a primeira escola. Reuniram-se os moradores quando então, num discurso improvisado num toco de grápia, Pedro Ervino Renz, primeiro serrador, sugeriu o nome de Tiradentes.