Predikata logiko: Malsamoj inter versioj

La formale plej simpla vastigo de la unuanivela logiko tamen konsistas el aldono de [[identeco (logiko)|identeco-predikato]]. La sistemo tiam nomiĝas ''unuanivela logiko kun identeco''. En plialtnivela logiko eblas difini la identecon, do oni ne bezonas aldoni ĝin al tiuj sistemoj, sed ĉe la unuanivela logiko ne eblas tia difino. Ofte oni emas limigi sin al la unuanivela logiko kun identeco, ĉar por ĝi ekzistas pli simplaj kaj plej grave tiel nomataj ''kompletaj'' [[kalkulo (logiko)|kalkuloj]], do kalkuloj en kiuj eblas pruvi ĉiun veran aserton esprimeblan per la lingvo de la sistemo. Por la plialtnivela logiko ne ekzistas kompletaj kalkuloj.

 

Inverse eblas limigi la unuanivelan logikon, ekzemple permesi nur predikatojn kun unu argumento. La rezultanta sistemo – unuargumenta unuanivela logiko – havas la avantaĝon esti [[decidebleco|decidebla]]; tio signifas, ke ekzistas algoritmo, kiu por ĉiu aserto de la unuargumenta unuanivela logiko determinas en finhava tempo, ĉu ĝi estas valida aŭ ne

La nulnivela predikata logiko okazas [[asertologiko|Aristotela logiko]]. Ĝi certe estas decidebla