Dokumen ini membahas konsep dasar logika proposisi, termasuk hukum-hukum logika, tabel kebenaran, dan jenis proposisi seperti tautologi dan kontradiksi. Juga dijelaskan tentang proposisi bersyarat, bi-kondisional, dan tugas-tugas terkait penerapan konsep logika dalam bentuk simbolik. Di akhir, terdapat daftar pustaka yang merujuk pada buku tentang matematika diskrit.