The formulas of propositional calculus, also called propositional formulas, are expressions such as ( A ∧ ( B ∨ C ) ) {\displaystyle (A\land (B\lor C))} .
فرمول‌های محاسبات گزاره‌ای " که همچنین فرمول‌های گزاره‌ای نامیده می‌شوند"اصطلاحاتی هستند نظیر ( A ∧ ( B ∨ C ) ) {\displaystyle (A\land (B\lor C))} .