حساب گزاره‌ها یا حساب گزاره‌ای (به انگلیسی: Propositional calculus) سامانه‌ای است صوری (Formal) که به نمایش مواد و اصول منطق گزاره‌ای می‌پردازد. گزاره‌ها...

می‌توان از این‌جا آغازید، که در نگاه او هر گزاره‌ای یا صورتی موضوعی-محمولی دارد یا می‌توان آن را به گزاره یا گزاره‌هایی تحلیل کرد، که صورت موضوعی-محمولی داشته...

جنسِ کاملاً مختلف فرض می‌شوند. موضوع‌ها متغیر و محمول‌ها تابع محسوب می‌شوند از همین رو گزاره‌نما (یا تابع گزاره‌ای) نوع امروزی محمول در ریاضیات جدید است...

همخوان دارند. نحوهٔ تلفظ واکه‌ها در زبان انگلیسی در لهجه‌های متفاوت بسیار متغیر است. این تفاوت در نحوه ادا کردن حروف صدادار یکی از عمیق‌ترین تفاوت‌های لهجه‌های...

یک گزاره نما است به همراه متغیر عددی x یا نمونهٔ مورد توجه دیگر فرم‌های ثبت نام است که در آن کپی متن پیش‌نویس وجود دارد و برخی قسمت‌ها به عنوان متغیر است...

بالاتر» مجزا می‌سازد که در آن گزاره‌هایی وجود دارد که «آرگومان‌هایی به صورت گزاره یا تابع» دارند، یا «سورهای گزاره‌ای» دارند یا اینکه در آن‌ها «سورهای...

شده‌است که هر جمله شامل حاصل جمع‌های اولیه (فصل تعدادی متغیر و نقیض آنها) می‌باشد. تنها عملگرهای گزاره‌ای در این فرم or, and و not هستند. عملگر not تنها می‌تواند...

فرضیات عمدتاً تجربی بود و در دو محور عمده دو مفهوم یعنی متغیر مستقل: محرک تغییر یافته و متغیر وابسته یا پاسخ شکل یافته بود. مهم‌ترین شخصیت‌های نظریه‌پرداز...

گزاره ای ارزش صدقی ومنطق محمولات مرتبه اول از نظر معنایی کاملاًد؛ اما نحواَ کامل نیستند (برای مثال، یک گزارهٔ منطق گزاره‌ای که شامل یک متغیر گزاره‌ای...

محمول باشند. بعضی از کتاب‌های قدیمی‌تر از عبارات متغیر واقعی و متغیر آشکار برای متغیر آزاد و متغیر مقید استفاده می‌کنند. ایده با مفهوم محل نگهداری (به...

تابع است. نمادی که برای نشان دادن ورودی استفاده می‌شود یک متغیر از تابع است، برای نمونه f متغیر x است. از توابع به‌طور گسترده‌ای در گونه‌های مختلف علم و...