Predikata logiko: Malsamoj inter versioj
| [nekontrolita versio] | [nekontrolita versio] |
Enhavo forigita Enhavo aldonita
Arseno (diskuto | kontribuoj) |
Arseno (diskuto | kontribuoj) |
||
Linio 22:
La nulnivela predikata logiko okazas [[asertologiko|Aristotela logiko]]. Ĝi certe estas decidebla
==
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:
* La sistemo estas duvalora, do ĉiu aserto estas aŭ ''vera'' aŭ ''malvera'' ([[principo de duvaloreco]]).
| |||