Zincirleme tasım,

sorites olarak da
bilinir, tasım mantığında, birbirini izleyen tasımlardan ya da iki öncülden (bir büyük ve bir küçük) bir sonuca ulaşan kanıtlama zinciri. Birinci tasımın sonucu onu izleyen tasımın öncüllerinden biri olur. Eğer sonuncusu dışında art arda gelen bütün tasımların sonuçları silinir ve yalnızca geri kalan öncüller ile sonuncu sonuç belirtilirse, ortaya çıkan kanıtlama belirtilen öncüllerden elde edilmiş geçerli bir çıkarımdır. Öncül sayısı n+l olarak kabul edilirse kanıtlama, birbirini izleyen n sayıda tasımdan oluşmuş bir zincirdir.