निर्वचन (तर्क)
तर्कशास्त्र, गणित व कम्प्यूटर विज्ञान में निर्वचन (interpretation) किसी औपचारिक भाषा के चिन्हों के साथ अर्थ जोड़ने की प्रक्रिया को कहते हैं। अधिकांश औपचारिक भाषाएँ केवल वाक्यविन्यास (सिन्टैक्स) द्व्रारा ही परिभाषित होती हैं और उनमें कोई निहित अर्थ नहीं होता। अर्थ समझने के लिये चिन्हों के साथ अर्थ जोड़ना आवश्यक होता है।