તર્કશાસ્ત્રના વિકાસની કમ્પ્યુટર ઉપયોગ દ્વારા શક્ય છે.