Predikata logiko: Malsamoj inter versioj
| [nekontrolita versio] | [nekontrolita versio] |
Enhavo forigita Enhavo aldonita
Arseno (diskuto | kontribuoj) |
Arseno (diskuto | kontribuoj) |
||
Linio 17:
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 per limigo al predikatoj 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
Paralele al la jam priparolitaj distingoj de predikatlogikaj sistemoj laŭ ilia nivelo ekzistas ankaŭ [[neklasika logiko|neklasikaj]] variaĵoj. Logika sistemo estas nomata ''klasika'' se validas la sekvaj du kondiĉoj:
| |||