فرمول گزاره‌ای

عبارتی متشکل از متغیرهای گزاره‌ای که به‌وسیلة رابط‌های گزاره‌ای با هم ترکیب می‌شوند