Предикат як одне із фундаментальних понять логіки, а також математичної логіки, умова сформульована в термінах деякої точної логіко-математичної мови. Теорія предикатів та аналіз граматичної будови простих висловлень. Відмітні риси логіки предикатів.