આ કારણે તર્કશાસ્ત્રના ક્ષેત્રે દલીલોની વિવિધ શરતોનું પ્રતિનિધિત્વ કરવા માટે સાંકેતિક ભાષા વિકસાવી છે.