Predikato (logiko)

El Vikipedio

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: "Pab" signifas "a estas pli granda ol b".

Ĉi tiu artikolo ankoraŭ estas ĝermo. Vi povas helpi pluredakti ĝin post klako al la butono redakti. Se jam ekzistas alilingva samtema artikolo pli disvolvita, traduku kaj aldonu el ĝi.  Eble ĉi tiu ŝablono estas tro ĝenerala. Bonvolu konsideri aldonante plian parametron kategoriigante la ĝermon.