સિમેન્ટિક્સ અને પ્રગમેટીક્સમાં , આવશ્યકતા એ સિદ્ધાંત છે કે અમુક ચોક્કસ પરિસ્થિતિઓ હેઠળ એક વિધાનની સત્ય બીજા નિવેદનની સત્યને સુનિશ્ચિત કરે છે.