Tag: redução ao absurdo

Principium tertii exclusi e Reductio ad absurdum: antigos “feitiços” matemáticos (V.8, N.2, 2022)

Desde a antiga Grécia, matemáticos procuram a partir da lógica provar que propriedades matemáticas são verdadeiras.