Buku ini diberikan untuk membekali mahasiswa tentang konsep bahasa formal, yaitu bahasa logika proposisional dan bahasa logika predikat yang keduanya merupakan dasar-dasar logika untuk pemrograman baik yang prosedural dan khususnya pemrograman lojik (seperti PROLOG). Mahasiswa akan belajar baik secara mandiri maupun berkelompok tentang bagaimana membuat kalimat (pernyataan) dengan menggunakan aturan sintatik, serta bagaimana menentukan nilai sebuah kalimat dengan menggunakan aturan semantik. Mahasiswa juga akan belajar bagaiaman membuktikan validitas sebuah kalimat dengan menggunakan pohon semantik (semantic tree) dan teknik PBF (proof by falsification). Lebih dari itu, setelah selesai mempelajari mata kuliah ini mahasiswa akan dibekali dengan kemampuan reasoning. Ketercapaian hasil belajar diukur dengan memberikan soal-soal kepada mahasiswa dalam bentuk ujian.