نحو (منطق)

در علم منطق، نحو هر چیزی مرتبط با زبانهای صوری یا سیستمهای صوری است بدون توجه به تفسیر یا معنایی که به آنها داده می شود. نحو با قوانینی مورد استفاده برای ساختن یا تغییر نمادها و واژه های یك زبان سر کار دارد ، برعکس معناشناسی یك زبان كه با معنای آن سر کار دارد.

این نمودار جوهرهای نحوی که ممکن است از زبانهای صوری ساخته شوند را نشان می دهد. نمادها و رشته های نمادها ممکن است بطور کلی به فرمول های مهمل و خوش فرم تقسیم شوند. یک زبان رسمی همانند مجموعه فرمولهای خوش فرم آن است. مجموعه فرمولهای خوش فرم ممکن است به طور کلی به قضایا و غیر قضایا تقسیم شود.

نمادها ، فرمولها ، سیستمها، قضایا ، اثباتها و تفسیرهای بیان شده به زبانهای صوری، جوهرهای نحوی هستند که خصوصیات آنها ممکن است بدون در نظر گرفتن هر گونه معنایی که ممکن است به آنها داده شود مورد مطالعه قرار گیرند و در واقع نیازی نیست که به آنها داده شود.

نحو معمولاً با قواعد (یا گرامر) حاکم بر ترکیب متون به یک زبان صوری که فرمولهای خوش‌فرم یک سیستم صوری را تشکیل می دهند مرتبط است.

در علم کامپیوتر ، اصطلاح نحو به قوانینی حاکم بر ترکیب عبارات خوش فرم در یک زبان برنامه نویسی اشاره دارد. مانند منطق ریاضی، مستقل از معناشناسی و تفسیر است.

• نماد (صوری)
• قانون صورت‌بندی
• دستور زبان صوری
• نحو (زبانشناسی)
• نحو (زبان های برنامه نویسی)
• منطق ریاضی
• فرمول خوش فرم