સાંકેતિક તર્ક માટે, તે સાંકેતિક અમૂર્ત કે અનુમાન ઔપચારિક માળખું મેળવે શોધ.