Existential instantiation
પ્રેડિકેટ લોજિકમાં, અસ્તિત્વની ત્વરિતતા (જેને અસ્તિત્વની નાબૂદી પણ કહેવાય છે) એ અનુમાનનો નિયમ છે જે કહે છે કે, સ્વરૂપના સૂત્રને જોતાં, કોઈ નવા અચળ ચિહ્ન c માટે અનુમાન કરી શકે છે. નિયમમાં એવા પ્રતિબંધો છે કે નિયમ દ્વારા રજૂ કરાયેલ અચળાંક c એ એક નવો શબ્દ હોવો જોઈએ જે સાબિતીમાં અગાઉ આવ્યો ન હોય, અને તે સાબિતીના નિષ્કર્ષમાં પણ ન હોવો જોઈએ. તે પણ જરૂરી છે કે દરેક ઉદાહરણ જેની સાથે બંધાયેલું છે તેને સમાનરૂપે સી દ્વારા બદલવું આવશ્યક છે. આ સંકેત દ્વારા સૂચિત થાય છે, પરંતુ તેના સ્પષ્ટ નિવેદનને ઘણીવાર સ્પષ્ટતાથી બાકાત રાખવામાં આવે છે. એક ઔપચારિક સંકેતલિપીમાં, નિયમને સૂચવી શકાય છે કે જ્યાં a એ એક નવું અચળ પ્રતીક છે જે સાબિતીમાં દેખાયું નથી. અસ્તિત્વગત ભ્રાંતિ પણ જુઓ અનુમાનના નિયમોની સાર્વત્રિક ત્વરિત સૂચિ અનુમાનના સંદર્ભો અનુમાનના નિયમો અનુમાનિત તર્ક