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
Citata
Nors buvo dedamos visos pastangos laikytis citavimo stiliaus taisyklių, gali pasitaikyti tam tikrų neatitikimų. Jei turite klausimų, prašome vadovautis atitinkamu stiliaus vadovu arba kitais šaltiniais.