Logický systém

Logický systém je formální systém věnovaný uvažování a logických dedukcí. Skládá se z :

• množiny vzorců, včetně množiny axiomů uvedených jako pravdivé a jako výchozí bod pro uvažování;
• soubor pravidel pro odpočet umožňující definovat typ uvažování použitelný v tomto systému;
• výklad vzorců, aby bylo možné určit význam vzorců. První dvě položky tohoto seznamu dělají z logického systému formální systém, tato třetí položka je specifická pro logické systémy.

Existuje mnoho logických systémů, zejména systém přirozené dedukce . V klasické logice je interpretace funkcí, která bere své hodnoty z binární sady pravdivostních hodnot, například {True, False}, jako funkce pravdivých hodnot proměnných vzorců.