Aturan penarikan kesimpulan

Dalamlogika,aturan penarikan kesimpulanatauaturan inferensiadalahbentuk logisyang terdiri dari suatu fungsi yang menghasilkan suatu kesimpulan berdasarkan beberapapremisyang diberikan.

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

Beberapa aturan penarikan kesimpulan padakalkulus proposisionalyang populer digunakan diantaranyamodus ponens,modus tollens,dankontraposisi.

Bentuk umum

Dalamlogika 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}}$$