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  saat diberikan dua premis, yaitu "Jika , maka berlaku " dan "".

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 :

Kategori:Logika