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-

Sdílet: Facebook Twitter

Reklama: