[[پرونده:Formal_languages.svg|چپ|بندانگشتی|300x300پیکسل| این نمودار جوهرهای نحوی که ممکن است از [[زبان صوری|زبانهای صوری]] ساخته شوند را نشان می دهدمی‌دهد.<ref>[http://dictionary.reference.com/browse/syntax Dictionary Definition]</ref> نمادها و [[رشته (علوم رایانه)|رشته هایرشته‌های نمادها]] ممکن است بطور کلی به [[فرمولهای خوش فرم|فرمول هایفرمول‌های]] [[مهمل]] و [[فرمولهای خوش فرم|خوش فرم]] تقسیم شوند. یک زبان رسمی همانند مجموعه فرمولهای خوش فرم آن است. مجموعه فرمولهای خوش فرم ممکن است به طوربه‌طور کلی به [[قضیه|قضایا]] و غیر قضایا تقسیم شود.]]
در علم [[منطق]]، '''نحو''' هر چیزی مرتبط با [[زبان صوری|زبانهای]] [[سیستم صوری|صوری]] یا [[سیستم صوری|سیستمهای صوری]] است بدون توجه به تفسیر یا [[معنا (زبانشناسی)|معنایی]] که به آنها داده می شودمی‌شود. نحو با قوانینی مورد استفاده برای ساختن یا تغییر نمادها و واژهواژه‌های های یكیک زبان سر کار دارد ،دارد، برعکس معناشناسی یكیک زبان كهکه با معنای آن سر کار دارد.
نمادها ،نمادها، [[فرمولهای خوش فرم|فرمولها]]، [[سیستم صوری|سیستمها]]، [[قضیه|قضایا]]، اثباتها و تفسیرهای بیان شده به زبانهای صوری، جوهرهای نحوی هستند که خصوصیات آنها ممکن است بدون در نظر گرفتن هر گونه معنایی که ممکن است به آنها داده شود مورد مطالعه قرار گیرند و در واقع نیازی نیست که به آنها داده شود.
نحو معمولاً با قواعد (یا گرامر) حاکم بر ترکیب متون به یک زبان صوری که [[فرمولهای خوش فرم|فرمولهای خوش‌فرم]] یک سیستم صوری را [[فرمولهای خوش فرم|تشکیل]] می دهندمی‌دهند مرتبط است.
در [[علوم رایانه|علم کامپیوتر]]، اصطلاح ''نحو'' به قوانینی حاکم بر ترکیب [[عبارت (ریاضیات)|عبارات خوش فرم]] در یک [[زبان برنامه‌نویسی|زبان برنامه نویسی]] اشاره دارد. مانند منطق ریاضی، مستقل از معناشناسی و تفسیر است.<ref>{{Cite journal|date=2019-09-24|title=Syntax (logic)|url=https://en.wikipedia.org/w/index.php?title=Syntax_(logic)&oldid=917583829|journal=Wikipedia|language=en}}</ref>
