Predikata logiko: Malsamoj inter versioj

Inverse eblas limigi la unuanivelan logikon, ekzemple perpermesi limigonur al predikatojpredikatojn kun unu argumento (unu vaka loko). 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. Por kelkaj aplikoj la unuargumenta logiko sufiĉas; aldone la tuta [[Logiko|silogismo-logiko de Aristotelo]] estas esprimebla en unuargumenta unuanivela logiko.