Aturan penarikan kesimpulan

Dalam logika, aturan penarikan kesimpulan atau aturan inferensi adalah bentuk logis yang terdiri dari suatu fungsi yang menghasilkan suatu kesimpulan berdasarkan beberapa premis yang diberikan.

Sebagai contoh, aturan penarikan kesimpulan modus ponens akan menghasilkan suatu kesimpulan $q$ saat diberikan dua premis, yaitu "Jika $p$, maka berlaku $q$" dan "$p$".

Beberapa aturan penarikan kesimpulan pada kalkulus proposisional yang populer digunakan diantaranya modus ponens, modus tollens, dan kontraposisi.

Bentuk umum

Dalam logika formal, aturan penarikan kesimpulan biasanya diberikan dalam bentuk umum berikut :

$${\begin{array}{c}{\text{Premis}}\;1\\{\text{Premis}}\;2\\\vdots \\{\text{Premis}}\;n\\\hline {\text{Kesimpulan}}\end{array}}$$