Type a search term to find related articles by LIMS subject matter experts gathered from the most trusted and dynamic collaboration tools in the laboratory informatics industry.
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.
Controllo di autorità | LCCN (EN) sh85106250 · GND (DE) 4389352-1 · J9U (EN, HE) 987007533943805171 |
---|