La logica di ordine zero è la logica del primo ordine depurata da variabili e/o da quantificatori. Alcuni autori usano la frase "logica dell'ordine zero" come sinonimo del calcolo proposizionale[1], sebbene una definizione alternativa la estenda mediante l'aggiunta di costanti, operazioni e relazioni su valori non booleani.[2] Ogni linguaggio di ordine zero in questo senso più ampio è completo e compatto.[2]
© MMXXIII Rich X Search. We shall prevail. All rights reserved. Rich X Search