Pravdivostná hodnota "pravda" je priradená výroku, ktorý je adekvátnym odrazom daného faktu. Pravdivostná hodnota "nepravda" je priradená výroku, ktorý je negáciou, opakom adekvátneho odrazu daného faktu.

Takto možno ohodnoti? výroky alebo výrokové formy. V matematickej logike sa pod pravdivostnou hodnotou pravda chápe trieda pravdivých výrokov; a nepravda, trieda nepravdivých výrokov.

Oznamovacia veta či súd, vo výrokovej logike mu hovoríme výrok.
Tu prechádzame od neurofyziológie, cez lingvistiku k logike.

Výrok je logický výraz (či vyjadrenie), ktorý má presne jedinú pravdivostnú hodnotu. Je to požiadavka výrokového počtu ako teórie; a to princípu vylúčenia tretej možnosti a princípu sporu.