Mempelajari tentang menerapkan logika matematika dalam pemecahan; mulai dari pernyataan, mendeskripsikan, penyangkalan sampai kepada operasi konjungs, operasi disjungsi, operasi implikaasi, operasi niimplikasi yang berakhir kepada menentukan nilai kebenaraan.