Çıkarım Kuralları

Ne tür öncüllerden ne tür sonuçların geçerli olduğunu belirten mantıksal argümanların oluşturulmasına yönelik kurallar. bkz. tümdengelim; tümdengelimsel akıl yürütme.