bilinen önermelerden bilinmeyen önermeleri çıkarmayı dile getirir, başka bir deyişle belli bir takım önermelerden mantıksal ilerlemelerle sonuç çıkarmaktır. örneğin buğdayın besleyici olduğunu ve ekmeğin buğdaydan yapıldığını biliriz, doğru olduklarını bildiğimiz bu önermelerden ekmek besleyicidir sonucunu çıkarırız; bu, bir uslamlamadır. bu yüzden uslamlamaya us yürütme de denir. mantık
, uslamlama bilimidir. bir önermenin doğru olup olmadığı, mantığın işi değil, o önermenin ilgili olduğu bilimin işidir. mantık, bir önermenin doğru olup olmadığını bilemez, sadece "a önermesi doğruysa b önermesi de doğru olmalıdır" der, uslamlama da budur.