Professional Documents
Culture Documents
Lema
Corolrio
Teoremas
Tipos de demonstrao
Lgica Matemtica
Indireta
So proposies aceitas como verdade,
sem necessidade de demonstrao
alguma e so utilizadas juntamente com
as definies como ferramenta de
deduo em um modelo axiomtico
Axiomas
Definies
Convenes