pravda ve formalizovaných jazycích
pravda ve formalizovaných jazycích, jeden z klíčových pojmů log. sémantiky. Definici pravdivého výroku formuloval poprvé pol. logik A. Tarski ve speciálně zkonstruovaném metajazyce (ML) pro jazyk kalkulu tříd s použitím pojmu "splňování". Výroková funkce je pravdivá jen tehdy, jestliže ji splňují všechny předměty (resp. třídy), a nepravdivá, neexistuje-li předmět, jenž by ji splňoval.
