Mata kuliah ini mempelajari tentang konsep dasar pembuktian deduktif, penalaran induktif dan deduktif, kalimat matematika, intuisi dan bukti, logika matematika, pernyataan berkuantor, argumentasi logis, membaca definisi dan teorema, teknik pembuktian, pembuktian langsung dan tak langsung, induksi matematika, serta menyusun dan menulis bukti.