Ang pag @-@ usad mula sa lohikang impormal tungo sa lohikang pormal at sa pagpapatuloy sa lohikang simboliko ay masasabing pag @-@ unlad sa antas ng pag @-@ iisip : na kinakailangan , dahil mauunawaan lamang natin ang lohikang simboliko kung naisaloob na natin ang iba @-@ ibang kasunduan na tanggap ng nakararami para sa pag @-@ aanalisa ng mga sagisag sa lohika.
