گزاره‌نما

عبارتی مشتمل بر یک یا چند متغیر که با تبدیل یکنواخت آن متغیر یا متغیرها به اسم یا اسامی خاص، تبدیل به گزاره شود متـ . تابع گزاره‌ای