En la predikata logiko, predikato estas la ĉefa ero de atoma frazo.
Ĉiu predikato havas fiksitan nombron da argumentoj. Kiam oni aldonas tiun nombron da nomoj al la predikato, rezultas atoma frazo.
Ekzemple, se P(α,β) signifas "α estas pli granda ol β", tiam ĝi estas du-argumenta predikato. Per aldono de du nomoj, ĝi esprimas frazon: "P(a,b)" signifas "a estas pli granda ol b"
Predikatoj estas uzataj en la logiko de la unua ordo kaj en la logikoj de superaj ordoj.
de
This article uses material from the Wikipedia Esperanto article Predikato (logiko), which is released under the Creative Commons Attribution-ShareAlike 3.0 license ("CC BY-SA 3.0"); additional terms may apply (view authors). La enhavo estas disponebla laŭ CC BY-SA 4.0, se ne estas alia indiko. Images, videos and audio are available under their respective licenses.
®Wikipedia is a registered trademark of the Wiki Foundation, Inc. Wiki Esperanto (DUHOCTRUNGQUOC.VN) is an independent company and has no affiliation with Wiki Foundation.