نحو (منطق): تفاوت میان نسخهها
Donaterwiki (بحث | مشارکتها) ایجاد شده توسط ترجمهٔ صفحهٔ «Syntax (logic)» |
(بدون تفاوت)
|
نسخهٔ ۲۴ مارس ۲۰۲۰، ساعت ۲۱:۰۹
در علم منطق، نحو هر چیزی مرتبط با زبانهای صوری یا سیستمهای صوری است بدون توجه به تفسیر یا معنایی که به آنها داده می شود. نحو با قوانینی مورد استفاده برای ساختن یا تغییر نمادها و واژه های یك زبان سر کار دارد ، برعکس معناشناسی یك زبان كه با معنای آن سر کار دارد.
نمادها ، فرمولها ، سیستمها، قضایا ، اثباتها و تفسیرهای بیان شده به زبانهای صوری، جوهرهای نحوی هستند که خصوصیات آنها ممکن است بدون در نظر گرفتن هر گونه معنایی که ممکن است به آنها داده شود مورد مطالعه قرار گیرند و در واقع نیازی نیست که به آنها داده شود.
نحو معمولاً با قواعد (یا گرامر) حاکم بر ترکیب متون به یک زبان صوری که فرمولهای خوشفرم یک سیستم صوری را تشکیل می دهند مرتبط است.
در علم کامپیوتر ، اصطلاح نحو به قوانینی حاکم بر ترکیب عبارات خوش فرم در یک زبان برنامه نویسی اشاره دارد. مانند منطق ریاضی، مستقل از معناشناسی و تفسیر است.[۲]
- نماد (صوری)
- قانون صورتبندی
- دستور زبان صوری
- نحو (زبانشناسی)
- نحو (زبان های برنامه نویسی)
- منطق ریاضی
- فرمول خوش فرم
- ↑ Dictionary Definition
- ↑ "Syntax (logic)". Wikipedia (به انگلیسی). 2019-09-24.