die Prädikatenlogik

شاخه‌ای از منطق ریاضی که به بررسی گزاره‌ها با استفاده از محمولات، متغیرها و سورها می‌پردازد و قادر به تحلیل ساختار درونی گزاره‌ها است.

• Die Prädikatenlogik ist mächtiger als die Aussagenlogik.منطق محمولات قدرتمندتر از منطق گزاره‌ها است.
• In der Informatik wird die Prädikatenlogik für die Wissensrepräsentation verwendet.در علوم کامپیوتر، منطق محمولات برای بازنمایی دانش استفاده می‌شود.
• Er hat seine Abschlussarbeit über die Grundlagen der Prädikatenlogik geschrieben.او پایان‌نامه خود را در مورد مبانی منطق محمولات نوشت.