lòginė siñtaksė, loginio skaičiavimo alfabetas ir išraiškų sudarymo bei jų pertvarkymo taisyklės. Pvz., dvireikšmio teiginių skaičiavimo alfabetas apibrėžiamas taip: paprasti teiginiai p, q, r… yra formulės; jei p yra formulė, tai , p · q, p∨q, p→q, p~q taip pat yra formulės; nėra jokių kitų formulių, išskyrus nustatytąsias. Išvedimo iš aksiomų taisyklės yra kintamųjų keitimo (kiekvieną kintamąjį galima pakeisti kitu kintamuoju arba išraiška), keitimo ekvivalenčia išraiška ir išvados taisyklė (jei A yra sistemos teiginys ir iš A išvedamas B, tai B teisingas).
L: R. Carnap Logische Syntax der Sprache Wien 1934.
314