Logika matematika adalah ilmu yang mempelajari cara berpikir logis untuk menentukan nilai kebenaran pernyataan. Dokumen ini menjelaskan tentang pernyataan, ingkaran, serta berbagai jenis penarikan kesimpulan seperti modus ponens dan silogisme. Selain itu, juga dijelaskan tentang tabel kebenaran dan hubungan antara pernyataan dalam logika.