Predikata logiko: Malsamoj inter versioj

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. Por kelkaj aplikoj la unuargumenta logiko sufiĉas; aldone la tuta [[Logiko|silogismo-logiko de Aristotelo]] estas esprimebla en unuargumenta unuanivela logiko.

 

 

== Klasika kaj neklasika predikata logiko ==