pravda ve formalizovaných jazycích

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.

Datum vytvoření: 14. 3. 2000
Datum aktualizace: 16. 10. 2000
Autor: -red-

Reklama: