Pembuktian Aturan Rantai (Hukum Silogisme)

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.