Logik und Beweise
Introdução
Este tema apresenta como formular afirmações matemáticas com precisão e prová-las de modo sistemático.
Termos
- proposição
- contraposição
- prova por contradição
- indução completa
- equivalência
Este tema apresenta como formular afirmações matemáticas com precisão e prová-las de modo sistemático.