در هر گزاره نما، دامنه متغیر گزاره نما مجموعه مقادیری است که می توان آن ها را به جای متغیرهای گزاره نما قرار داد تا این که گزاره نما به یک گزاره تبدیل شود. دامنه متغیر گزاره نما با D نشان داده می شود.