گزاره‌نما

گزاره‌نما یا تابع گزاره‌ای در ریاضیات جدید جمله‌ای مانند (P(x است که به ازای هر x از یک مجموعه دلخواه یک گزاره تولید می‌شود. گزاره‌نما تقریبا معادل محمول در منطق کلاسیک است