Bir önermenin belli bir kişice belli bir anda belli bir savı dile getirmek amacıyla kullanılması edimi. || Aynı bir önermeyle ayrı önesürüşler yapılabildiği gibi, ayrı önermelerle aynı savı dile getiren önesürüşler yapılabilir. Örn. 'Bu kitap kalındır' önermesi ayrı kitaplara ilişkin olabildiğinden, bu önerme ile ayrı önesürüşler yapılabilir. 2=3 ile 3=2 önermelerinin ise aynı savı dile getirdiği söylenebilir.
TDK Mantık Terimleri Sözlüğü