Dilbilimde, bir ifadede açıkça belirtilmeyen ve doğruluğu için bir koşul olmayan ancak yine de ondan çıkarılabilen bir önerme. pragmatik ve söylem analizinde kabul edilen ima türleri, biçimsel mantıkta geçerli olarak kabul edilenlerin ötesine geçer. örneğin, mary babamın karısıdır ifadesi, ilk önermenin ikincisini gerektirdiği söylenemese de, çoğu bağlamda mary benim annem değildir anlamına gelecektir. önvarsayım ile karşılaştırın. ayrıca bkz. karşılıklı çıkarım; dolaylı konuşma eylemi. -implicative
İmplicature