Predikata logiko: Malsamoj inter versioj
[nekontrolita versio] | [nekontrolita versio] |
Enhavo forigita Enhavo aldonita
Arseno (diskuto | kontribuoj) |
Arseno (diskuto | kontribuoj) |
||
Linio 20:
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
== Klasika kaj neklasika predikata logiko ==
|