Mesin Inferensi
Kamsyakawuni Ahmad. 2012. Aplikasi Sistem Pakar Untuk Diagnosa Penyakit Hipertiroid dengan Metode Inferensi fuzzy Mamdani (Tesis), Semarang: Universitas Diponegoro.
Silogisme secara umum adalah cara mencari sebuah solusi yang berasal dari dua buah pernyataan.
Logika:
pàq : Jika p maka q
qàr: Jika q maka r
Kesimpulannya adalah pàr: jika p maka r.
Dalam hukum silogisme kita mempunyai 3 premis yaitu p, q, dan r. Pernyataan yang pertama dibuat jika p maka q, lalu penyataan kedua adalah jika q maka r. Jika dilihat dari kedua peryataan tersebut pernyataan pertama dan kedua memilik premis yang sama yaitu q. Maka kesimpulan dari 2 pernyataan tersebut adalah jika p maka r. Karena jika premis p menghasilkan premis q, dan jika premis q menghasilkan premis r, secara otomatis kesimpulan yang dibuat adalah jika p maka r.
Dalam penyelesaian table kebenaran kita bisa melihat bahwa semua baris pada kolom terakhir bernilai “TRUE” yang berarti pembuktian aturan rantai (hukum silogisme) menggunakan table kebenaran berhasil.