pravda ve formalizovaných jazycích

Matematika

Jeden z klíčových pojmů logické sémantiky. Definici pravdivého výroku formuloval poprvé polský logik A. Tarki 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 (respektive třídy), a nepravdivá, neexistuje-li předmět, jenž by ji splňoval.

Vytvořeno: 14. 3. 2000
Aktualizováno: 16. 10. 2000
Autor: -red-