Predicato (logica)
concetto della logica matematica Da Wikipedia, l'enciclopedia libera
concetto della logica matematica Da Wikipedia, l'enciclopedia libera
In logica, un predicato è un simbolo che rappresenta una proprietà o una relazione. Ad esempio, nella formula del primo ordine , il simbolo P è un predicato che si applica alla costante a. Allo stesso modo, nella formula , R è un predicato che si applica alle costanti e .
Nella semantica della logica, i predicati sono interpretati come relazioni. Ad esempio, in una semantica standard per la logica del primo ordine, la formula sarebbe vera rispetto ad un'interpretazione se le entità denotate da e stessero nella relazione indicata da R. Poiché i predicati sono simboli non logici, essi possono denotare relazioni diverse a seconda dell'interpretazione adottata. Mentre la logica del primo ordine include solo predicati che si applicano a costanti individuali, altre logiche possono consentire predicati che si applicano ad altri predicati.
Seamless Wikipedia browsing. On steroids.
Every time you click a link to Wikipedia, Wiktionary or Wikiquote in your browser's search results, it will show the modern Wikiwand interface.
Wikiwand extension is a five stars, simple, with minimum permission required to keep your browsing private, safe and transparent.