Deskripsi Mata kuliah :

Mata Kuliah ini membahas tentang proposisi atom, proposisi majemuk, validitas sebuah kesimpulan, logika entailment, prinsip resolusi, relasional logic, terjemahan First Order Logic, Pembuktian dengan First Order Logic.

Standar Kompetensi :

Setelah menyelesaikan mata kuliah ini, mahasiswa akan mempunyai pengetahuan dasar (basic science) sebuah proposisi dan dapat membuktikan sebuah konklusi dengan menggunakan tabel kebenaran dan rule of inference serta dapat menterjemahkan bahasa dalam kehidupan sehari-hari ke dalam bahasa First Order Logic agar dapat dimengerti oleh komputer.