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