گزارهنما
From Wikipedia, the free encyclopedia
گزارهنما یا تابع گزارهای در ریاضیات جدید جملهای مانند (P(x است که به ازای هر x از یک مجموعه دلخواه یک گزاره تولید میشود. گزارهنما تقریباً معادل محمول در منطق کلاسیک است
مثال» به عنوان مثال «عدد x مربع کامل است» یک گزاره نما است به همراه متغیر عددی x یا نمونهٔ مورد توجه دیگر فرمهای ثبت نام است که در آن کپی متن پیشنویس وجود دارد و برخی قسمتها به عنوان متغیر است مانند نام خانوادگی، نام ، ..... و به عنوان متغیر گزاره نما میتوان نام برد.