Buku ini ditulis berdasarkan literatur yang ditulis oleh para ahli logika dari dalam negeri maupun luar negeri. Literatur dari dalam negeri diperlukan untuk memperjelas penerapan konsep-konsep dalam bahasa Indonesia. Penggunaan literatur dalam bahasa Indonesia juga dimaksudkan sebagai apresiasi terhadap hasil kerja bangsa kita sendiri. Literatur dalam bahasa asing dipergunakan sebagai pembanding dan penguat konsep-konsep yang telah ditulis dalam bahasa Indonesia. Literatur tentang logika formal yang sekarang tersedia di perpustakaan-perpustakaan pada umumnya sudah berumur puluhan tahun. Walaupun isi yang ditulis masih tetap relevan, namun contoh-contoh dan bahasa yang digunakan sudah kurang sesuai dengan kondisi jaman sekarang. Oleh sebab itu buku ini ingin menampilkan pembahasan tentang logika formal yang lebih update, sehingga lebih mudah diikuti dan dipahami oleh generasi zaman sekarang.