في المنطق، بناء الجملة هو أي شيء له علاقة باللغات الرسمية أو الأنظمة الرسمية دون النظر إلى أي تفسير أو معنى معين لها.
يهتم بناء الجملة بالقواعد المستخدمة في بناء أو تحويل رموز وكلمات اللغة، على عكس دلالات اللغة التي تهتم بمعناها.
الرموز, الصيغ، الأنظمة، النظريات والبراهين يتم التعبير عنها باللغات الرسمية هي كيانات نحوية يمكن دراسة خصائصها دون النظر إلى أي معنى قد يتم إعطاؤه ، وفي الواقع ، لا يلزم إعطاء أي منها.
غالبًا ما يتم ربط بناء الجملة بالقواعد (أو القواعد النحوية) التي تحكم تكوين النصوص في اللغة الرسمية التي تشكل الصيغ جيدة التكوين للنظام الرسمي.
في علوم الكمبيوتر ، مصطلح بناءالجملة يشير إلى القواعد التي تحكم تكوين التعبيرات جيدة التكوين في لغة البرمجة . كما هو الحال في المنطق الرياضي، فهو مستقل عن الدلالات والتفسير.