فرمول خوش‌فرم: تفاوت میان نسخه‌ها

فرمول‌های محاسبات گزاره‌ای " که همچنین فرمول‌های گزاره‌ای نامیده می‌شوند"اصطلاحاتی هستند نظیر <math>(A \land (B \lor C))</math>. تعریف آنها شروع می‌شود با انتخاب دلخواه از مجموعه‌ای ''V'' از متغیرهای گزاره‌ای. الفبای متشکل از حروف ''V'' همراه با نمادها برای [[رابط‌های منطقی|روابط گزاره‌ای]] و پرانتز "(" و ") " که همه آنها در نظر گرفته نمی‌شود در ''V''است.

* اگر φ یک فرمول باشد پس <math >\lnot</math>φ هم یک فرمول است.