Principium tertii exclusi e Reductio ad absurdum: antigos “feitiços” matemáticos (V.8, N.2, 2022)
![](https://www.blogs.unicamp.br/wp-content/uploads/2022/02/toy-g77b0dd8e2_1920-800x445-1.png)
Desde a antiga Grécia, matemáticos procuram a partir da lógica provar que propriedades matemáticas são verdadeiras.
Desde a antiga Grécia, matemáticos procuram a partir da lógica provar que propriedades matemáticas são verdadeiras.