حساب محمولات

منطق محمولات، که منطق متغیرها نیز نامیده شده، بخشی از منطق صوری با منطق نمادین است که به صورت نظام‌مندی رابطه‌های منطقی بین جملات را نشان می‌دهد که به سبب صرف شیوه‌ای رعایت می‌شود که در آن محمولات یا عبارت‌های اسمی بر طیفی از موضوعات به وسیلهٔ متغیرهایی همچون هر، بعضی، بدون توجه به معنا یا محتوای مفهومی آن‌ها یا هر محمولی به صورت خاص توزیع شده‌است. حساب محمولات متمایز از حساب جمله‌هاست که با جملات یا گزاره‌های کامل تحلیل ناشده‌ای با حروف عطف «اگر، آن گاه» و «یا» سروکار دارد. منطق محمولات بر خلاف منطق جمله‌ها یا منطق گزاره‌ها، با گزاره‌های اتمی سروکار ندارد بلکه با اجزای داخلی گزاره‌های اتمی سروکار دارد.