Տրամաբանությունը առհասարակ համարվում է ձևական, երբ այն վերլnւծում և ներկայացնում է որևէ ճշգրիտ փաստի տեuակ։
Ապացույցների ձևը պարզեցված է ձևական քերականության մեջ նախադասություների ներկայացմամբ և տրամաբանական լեզվի սիմվոլիկայով, որպեսզի դրա ձևաչափը դառնա օգտագործելի ստանդարտ մտահանգումներում։
Կարճ ասած ձևակերպումը պարզապես նշանակում է թարկմանել նախադասություները տրամաբանական լեզվnվ՝ տրամաբանnրեն։
