Ճշմարտություն տերմինն օգտագործվում է նաև ձևական տրամաբանության մեջ։ Գոյություն ունի «տրամաբանական ճշմարտություն», որը հակադրվում է փաստական ճշմարտությանը։ Տրամաբանության մեջ ասույթը համարվում է ճշմարիտ, եթե նրա ձևը համընկնում է կամ որոշ թույլատրելի գործողություններից հետո կարող է համընկնել տրամաբանական օրենքի հետ։