Logická syntax

Z Wikipédie

Syntax logická

syntax logická je 1. systém pravidiel, ktoré určujú tvorenie a pretváranie výrazov určitého kalkulu; 2. časť metalogiky, skúmajúca štruktúru a vlastnosti neintrepretovaných kalkulov.

Hlavné otázky pri syntaktickom skúmaní logických kalkulov sú problémy neprotirečivosti (neprotirečivosť axiomatickej teórie), úplnosti (úplnosť axiomatickej teórie), nezávislosti (nezávislosť axiomatického systému), rozhodnuteľnosti, dokázateľnosti.

[úprava] Externé odkazy

  • FILIT Zdroj, z ktorého pôvodne čerpal tento článok


Tento článok z Filitu potrebuje upraviť, pridať interwiki a kategórie. Po jeho úprave prosím odstráňte šablónu {{filit na úpravu}}.

[úprava] Pozri aj

syntax

syntaktika

syntax logická