حساب گزاره‌ها یا حساب گزاره‌ای (به انگلیسی: Propositional calculus) سامانه‌ای است صوری (Formal) که به نمایش مواد و اصول منطق گزاره‌ای می‌پردازد. گزاره‌ها...
53 KB (5,260 words) - 12:27, 4 November 2023
به قسمت اعظم نظریه اعداد به کار برده می‌شود. قضیه اساسی حساب حساب گزاره‌ای حساب لامبدا حساب تغییرات تصاعد حسابی میانگین حسابی کدگذاری حسابی خط‌کش محاسبه...
4 KB (297 words) - 20:31, 21 May 2023
صورت می‌گیرد اما در گزاره شرطی با شرط و توأم با ادات شرط همراه است. گزاره یا قضیه حملی گزاره یا قضیه شرطی گزارهٔ حملی، گزاره‌ای است که صفتی یا حالتی...
18 KB (1,690 words) - 02:59, 8 January 2024
حسابان (redirect from حساب ديفرانسيل و انتگرال)
این موضوع شامل موارد دیگری از جمله حساب گزاره‌ای، حساب ریچی، حساب تغییرات، حساب لامبدا و حساب فرآیندی نیز می‌شود. حساب دیفرانسیل و انتگرال مطالعه ریاضی...
35 KB (3,505 words) - 19:10, 22 February 2024
احتمالات (redirect from حساب احتمالات)
زمینه‌های قانونی، احتمالی (به انگلیسی: Probability) همچنین می‌تواند به گزاره‌ای که شواهد خوبی برای اثبات آن وجود دارد گفته شود. گذشته از کار ابتدایی توسط...
17 KB (1,553 words) - 14:06, 4 March 2024
ترکیبی: گزاره‌ای است که محمولِ آن در موضوع محصور نباشد. یا به عبارت دیگر از طریق خود موضوع به محمول علم پیدا نمیکنیم. مثال‌هایِ ممکن از گزارهٔ تالیفی یا...
3 KB (277 words) - 11:25, 26 April 2024
نادرست باشد: نخست آنکه دست‌کم یکی از مقدمات گزاره نادرست باشد؛ دوم آنکه مقدمات گزاره، متضمن نتیجهٔ گزاره نباشد. مغالطه جزئی از برهان است که به‌طور قابل...
19 KB (1,896 words) - 19:14, 26 April 2024
نظریهٔ انواع نحو معناشناسی دنباله معنایی دنباله نحوی گزاره‌ای توابع بولی حساب مسندات تکین حساب گزاره‌ای ادات منطقی جدول ارزش محمولات منطق دسته یکم سورها منطق...
26 KB (2,356 words) - 20:03, 9 March 2024
نظریهٔ انواع نحو معناشناسی دنباله معنایی دنباله نحوی گزاره‌ای توابع بولی حساب مسندات تکین حساب گزاره‌ای ادات منطقی جدول ارزش محمولات منطق دسته یکم سورها منطق...
9 KB (871 words) - 13:45, 28 February 2024
درگذشته ۳۲۲ ق. م) از فیلسوفان یونان باستان و یکی از مهم‌ترین فیلسوفان غربی به حساب می‌آید. همچنین او اولین زیست‌شناس بزرگ اروپایی نیز بوده است. وی در هجده سالگی...
16 KB (943 words) - 19:18, 10 April 2024
نظریهٔ انواع نحو معناشناسی دنباله معنایی دنباله نحوی گزاره‌ای توابع بولی حساب مسندات تکین حساب گزاره‌ای ادات منطقی جدول ارزش محمولات منطق دسته یکم سورها منطق...
6 KB (565 words) - 02:30, 13 November 2023