Logisk system
Et logisk system er et formelt system dedikert til resonnement og logiske trekk. Det består :
- av et sett med formler, inkludert et sett med aksiomer gitt som sanne og som utgangspunkt for resonnement;
- et sett med trekkregler som gjør det mulig å definere typen resonnement som gjelder i dette systemet;
- en fortolkning av formlene, som gjør det mulig å spesifisere betydningen av formlene. De to første elementene i denne listen gjør et logisk system til et formelt system, dette tredje elementet er spesifikt for logiske systemer.
Det er mange logiske systemer, spesielt systemet med naturlig fradrag . I klassisk logikk er tolkning en funksjon som tar verdiene fra et binært sett med sannhetsverdier, for eksempel {True, False}, som en funksjon av sannhetsverdiene til variablene i formlene.