سلام. درنظر بگیرید که n متغیر داریم. با استفاده از این n متغیر میتونیم [tex]2^n[/tex] گزاره بسازیم.
هر تابع یک مجموعه ای از گزاره ها رو به درست و بقیه رو به نادرست نسبت میده. در یه تابع فرضی هر کدوم از گزاره ها دو حالت دارن که درست یا نادرست باشن. پس ۲ به توان تعداد گزاره ها، تابع خواهیم داشت. یعنی [tex]2^2^n[/tex].