tümden tikeli, genelden özeli çıkaran uslamlama yöntemi. tümdengelim, doğru olan ya da doğru olduğu sanılan önermelerden, zorunlu olarak çıkan yeni önermeler türetir. öncüller doğru ise sonuç da mantıksal bir zorunlulukla doğrudur. örneğin: insanlar ölümlüdür- ahmet insandır- öyleyse ahmet de ölümlüdür, önermesi tümden gelen bir önermedir.
~orhan hançerlioğlu~