Ibret vardır ne demek? Bir veya birden çok önermeden başka bir önerme çıkarma, akıl yürütme anlamında mantık terimi.