گزاره‌نما
برابر انگلیک (انگلیسی): propositional function


تاربرگ‌های پیموده‌شده در این نشست: بنداشت دو ارزشی بودن ⟩ A First Course in Logic ⟩ آوین‌پذیری ⟩ چماریک‌های جهان شدنی ⟩ گویایی رایه‌ی یکم ⟩ جایگشت