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.

no, ale platna je vzdy len ako abstrakcia od objektivnej reality (v zmysle vonkajsieho sveta mimo subjektovej mysle). pravidlo A <> ~A (a sa nerovna non-a) plati pri idealnych objektoch (ktore su v nasich mysliach, "hlavach"), ale nemusi nevyhnutne platit pri objektivne realnom. preto je v istom zmysle logika vzdy "subjektivna", nie? ja som mal z logiky ecko, tak sa len tak pytam.