Logik und Beweise
Pengantar
Topik ini membahas cara merumuskan pernyataan matematika secara tepat dan membuktikannya secara sistematis.
Istilah
- pernyataan
- kontraposisi
- bukti kontradiksi
- induksi lengkap
- ekuivalensi
Topik ini membahas cara merumuskan pernyataan matematika secara tepat dan membuktikannya secara sistematis.