Güncel Türkçe Sözlük
sorit
-
isim, mantık Öncül sayısı ikiden çok olan tasımsal
çıkarım
"A=B, B=C, C=D ise A=D'dir."