در ، یک یا (که به صورت wff نشان داده می‌شود) اغلب را ساده می‌کند آن‌ها بیشتر، یک توالی متناهی از نمادهای یک الفبای متعلق به یک زبان رسمی می‌باشند. یک زبان رسمی با مجموعه‌ای از فرمول‌های موجود در آن زبان شناخته می‌شود.
 یک فرمول، شیئی ترکیبی است که می‌تواند برای انجام یک تفسیر با معنی باشد دو راه حلی که از فرمول‌ها استفاده می‌کنند منطق گزاره‌ای و منطق مسندی هستند.
 فرمول‌های محاسبات گزاره‌ای " که همچنین فرمول‌های گزاره‌ای نامیده می‌شوند"اصطلاحاتی هستند نظیر . تعریف آنها شروع می‌شود با انتخاب دلخواه از مجموعه‌ای از متغیرهای گزاره‌ای. الفبای متشکل از حروف همراه با نمادها برای و پرانتز "(" و ") " که همه آنها در نظر گرفته نمی‌شود در است.
 فرمول‌های خوش فرم منطقی را می‌توان به صورت استقرایی زیر تعریف کرد:
 
 
 به عنوان مثال
 یک WFF است؛ ولی فرمول:
 یک WFF نیست. زیرا از نظر دستوری درست نیست.
 معمولاً برای ساخت یک فرمول خوش تعریف عملگرهای متنوعی در کنار هم قرار داده می‌شوند. به عنوان مثال عبارت p+q.r را در نظر بگیرید. مسئله‌ای که مطرح است این است که کدام یک از عملگرها را زود تر بررسی کنیم. به عنوان مثال r=F و p=q=T آنگاه دو حالت رخ می‌دهد.
 حالت اول:اگر ابتدا + و سپس. عمل کند آنگاه ارزش عبارت برابر False خواهد بود.
 حالت دوم:اگر ابتدا؛ و سپس + عمل کند آنگاه ارزش عبارت برابر True خواهد بود.
 ترتیب اولویت‌ها به صورت زیر است:
 ۱-پرانتز () ۲-نقیض ~ ۳-ترکیب عطفی ∧ ۴-ترکیب فصلی ∨ ۵-ترکیب شرطی → ۶-ترکیب هم‌ارزی ↔
 بالاترین اولویت مربوط به پرانتز و کمترین آن مربوط ترکیب هم‌ارزی می‌باشد. اگر دو عملگر در یک عبارت اولویت یکسانی داشته یاشند، عملگری که در سمت چپ عمگر دیگر قرار گرفته است اولویت بالاتری دارد. به عنوان مثال عبارت p→q∧r∨s→t را می‌توان به صورت عبارت زیر پرانتز بندی کرد؛ که این پرانتز بندی ترتیب اعمال عملگرها رو به طور کامل نشان می‌دهد.
 ((p→((q∧r))∨s))
{"title": "فرمول خوش فرم", "link": "https://fa.wikipedia.org//w/index.php?title=%D9%81%D8%B1%D9%85%D9%88%D9%84_%D8%AE%D9%88%D8%B4_%D9%81%D8%B1%D9%85&oldid=34580041", "language": "fa"}