گزاره‌نما

دامنه منبع گزاره نما در واقع مجموعه ای است که اگر اعضای آن به جای متغیر قرارگیرند گزاره نما را به یک گزاره تبدیل می‌کنند و این دامنه را با D نمایش می‌دهند. (اول کلمه “Domain”)

مجموعه جواب یک گزاره نما زیر مجموعه‌ای از دامنه گزاره نما است که اگر به جای متغیر در گزاره نما قرار داده شود ان را به یک گزاره درست تبدیل می‌کند و معمولاً این مجموعه را با A نمایش می‌دهند

مثال‌ها: گزاره نمای "X یک دانشمند است " را در نظر بگیرید، در این مورد اگر به جای x نام شخص قرار دهیم گزاره نما به یک گزاره تبدیل می‌شود (دامنه D) ولی اگر چیز دیگری مانند عدد قرار دهیم به عبارتی بی‌معنی تبدیل می‌شود. حال اگر به جای x نام یک دانشمند را قرار دهیم مانند "انیشتین " گزاره نما به یک گزاره درست تبدیل می‌شود ولی اگر اسم یک هنرمند را قرار دهیم گزاره نما به یک گزاره تبدیل می‌شود اما نه یک گزاره درست یک گزاره غلط.

${\displaystyle x^{2}=x}$

Kenneth H, Rosen (1998). "The Foundations: Logic and Proofs". Discrete Mathematics and its Applications. SIGS Reference Library (به انگلیسی). William C Brown Pub; 4th edition. Retrieved 2007. {{}}: Check date values in: |بازبینی= (help)

• [daneshnameh.roshd.ir daneshnameh.roshd.ir] مقدار |نشانی= را بررسی کنید (کمک). پارامتر |عنوان= یا |title= ناموجود یا خالی (کمک)

• ریچارد جانسون با (۱۳۸۰)، ساختمان‌های گسسته، ترجمهٔ حسین ابراهیم‌زاده قلزم (ویراست پنجم)، سیمای دانش