Fransızcadan
ad
öncül sayısı ikiden çok olan tasımsal çıkarım; örneğin A eşit B, B eşit C, C eşit D ise, A, D’ye eşittir çıkarımı bir sorittir.