Kesintisi , bir veya birden fazla tablolarda (tesis) itibaren bir açıklamada (sonuç) mantığı, titiz kanıtı veya köken, içinde - yani tabloların bir zincir, her biri ya bir öncül veya meydana gelen açıklamada bir sonucudur ispatta daha önce. Bu kullanım, Yunan filozof Aristoteles'in kıyas dediği şeyin bir genellemesidir, ancak bir kıyas, artık yalnızca özel bir kesinti durumu olarak kabul edilmektedir. Ayrıca, çıkarımın “genelden özele” veya “evrenselden özele” ilerlediğine dair geleneksel görüş, çoğu mantıkçı tarafından yanlış olduğu için terk edilmiştir. Bazı uzmanlar, tüm geçerli çıkarımları biçim olarak tümdengelimli olarak kabul eder ve bu ve diğer nedenlerle, tümdengelim ile tümevarım arasındaki varsayılan zıtlığı reddeder. Ayrıca bakınızaksiyomatik yöntem; resmi sistem; çıkarım.
Bu Konuyla İlgili Daha Fazlasını Okuyun: Tümdengelim Tümdengelimli akıl yürütme veya tümdengelim, geçerli argüman biçimlerini analiz etmeyi ve onların öncüllerinde örtük olan sonuçları çıkarmayı içerir ... Bu makale en son, Kıdemli Editör Brian Duignan tarafından revize edilmiş ve güncellenmiştir.