A definition that has a meaning that is deliberately assigned to some symbol is called :
संरचनावाले तर्कवाक्यों का समूह, जो कुछ निष्कर्ष प्रदर्शित करता है, कहलाता है :