Ճշմարտությունը գործառնական օպերատոր է տրամաբանական լեզվում (տես ասույթների տրամաբանություն), իսկ ասույթը գործառնականորեն ճշմարիտ է միայն և միայն այն դեպքում, եթե պնդման ճշմարտության արժեքը ամբողջությամբ որոշված է օժանդակ պտդումների ճշմարտային արժեքներով, որոնց հիման վրա իրականացնում է իր գործունեությունը: Օրինակ. p&q -ի ճշմարտային արժեքն ամբողջությամբ որոշվում է միայն այն դեպքում, եթե մենք գիտենք, որ p-ն ճշմարիտ է և q-ն ճշմարիտ է` հետևաբար & օպերատորը ճշմարիտ է: Տես նաև ոչ գործառնական ճշմարտություն: