अर्थपूर्ण परिभाषा जिसे सोच-समझकर कुछ प्रतीकों के लिए निर्दिष्ट किया जाता है, कहलाता है :
A Cluster of propositions with a structure that exhibits some inference is called :