એક ઔપચારિક ભાષામાં અભિવ્યક્તિ મૂલ્ય વ્યાખ્યા - ફિલસૂફી, લોજિકલ ભાષાશાસ્ત્રની શાખા ગાણિતિક તર્કશાસ્ત્રમાં.