تعریف گزاره باز
یک عبارت شرحی را یک گزاره باز گوییم، اگر:
- آن عبارت شامل یک یا بیش‌تر از یک متغیر باشد.
- آن عبارت گزاره نباشد.
- وقتی متغیرها با انتخاب‌های از دامنه‌های تعریف شده برای آنها، انتخاب می‌شود و در عبارت قرار می‌گیرند آن یک گزاره می‌شود.
به‌عنوان نمونه:
گزاره باز با دو متغیر به‌صورت زیر تعریف شده است:
واضح است که برای می‌توان انتخاب‌های زیادی در نظر گرفت البته یک دامنه خاص برای و یک دامنه خاص برای در تعریف خواهد آمد تا انتخاب‌ها از آن دامنه صورت گیرد.
به‌عنوان نمونه:
اگر و اعداد صحیح و در نظر گرفته شوند، یک گزاره با ارزش درست خواهد بود.
