যুক্তিবিদ্যাতে কোনো কিছুকে বোঝানোর জন্য যা ব্যবহার করা হয়, তাকে কী বলে?