payamvha/North_RAG huggingface dataset:
اخترشناسی آماتوری می‌پردازند تنها چند ساعت در ماه را به ستاره‌بینی و دنبال کردن تازه‌ترین پژوهش‌ها اختصاص می‌دهند. با این حال، دامنهٔ علاقهٔ آماتورها از «اخترشناسان صندلی‌نشین» تا کسانی که تلسکوپ‌ها و ابزارهای پژوهشی در اختیار دارند گسترده است. این گروه می‌توانند کشفیات تازه انجام دهند، عکس‌های نجومی ثبت کنند و حتی به اخترشناسان حرفه‌ای در پژوهش کمک کنند.
پاگَه یا اَسُوه (گویش کوخردی) جایگاه یا محفظهٔ مخصوصی در جنوب ایران به‌ویژه در هرمزگان برای حفظ دام در مقابل حیوانات درنده از قبیل گرگ، شغال و روباه است. این محفظه به وسیلهٔ چوب درخت نخل و با در کنار هم قرار دادن و گره‌زدن آنها با درانی یا همان طناب ساخته می‌شود.
مخلوط کن (که گاهی در انگلیسی بریتانیایی میکسر یا مایع ساز نامیده می‌شود) یک وسیله آشپزخانه ای و آزمایشگاهی است که برای مخلوط کردن، خرد کردن، پوره کردن یا امولسیون کردن غذا و مواد دیگر استفاده می‌شود. یک مخلوط کن ثابت از یک ظرف مخلوط کن با یک تیغه فلزی یا پلاستیکی چرخان در پایین تشکیل شده است که توسط یک موتور الکتریکی که در پایه قرار دارد تغذیه می‌شود. برخی از مدل‌های قدرتمند همچنین می‌توانند یخ و سایر غذاهای منجمد را خرد کنند. مخلوط‌کن‌های مختلف عملکردها و ویژگی‌های متفاوتی دارند، اما آزمایش محصول نشان
و ویژگی‌های متفاوتی دارند، اما آزمایش محصول نشان می‌دهد که بسیاری از مخلوط‌کن‌ها، حتی مخلوط‌کن‌های ارزان‌تر، برای رفع بسیاری از نیازهای مصرف‌کننده مفید هستند. ویژگی‌هایی که مصرف‌کنندگان هنگام خرید مخلوط کن در نظر می‌گیرند شامل علائم اندازه‌گیری قابل مشاهده بزرگ، سهولت استفاده، صدای کم در حین استفاده، مصرف برق (معمولاً ۳۰۰–۱۰۰۰ وات)، سهولت در تمیز کردن می‌باشد. مخلوط‌کن‌ها با توجه با کاربردشان به دو دستهٔ کلی تقسیم می‌شوند: مخلوط‌کن خانگی. دستگاه مخلوط‌کن خانگی برای مخلوط کردن مایعات و همچنین جهت خرد یا
خانگی برای مخلوط کردن مایعات و همچنین جهت خرد یا آسیاب کردن گوشت، سیب‌زمینی، پیاز، مغز گردو، برنج، ادویه و اجسام سخت به کار می‌رود. دستگاه‌های مخلوط‌کن ممکن است پارچ شیشه‌ای یا پلاستیکی داشته باشند. برخی از آن‌ها دکمهٔ یخ دارند که می‌توان از آن برای تهیهٔ انواع نوشیدنی‌های خنک استفاده نمود. شرکت‌های سازندهٔ این‌گونه لوازم برقی گاهی دستگاه‌های متنوع و جداگانه به بازار عرضه می‌کنند که بعضی از آن‌ها فقط یک کار خاص را انجام می‌دهند و بعضی با استفاده از لوازم یدکی چند کار مختلف را انجام می‌دهند. قطعات
لوازم یدکی چند کار مختلف را انجام می‌دهند. قطعات تشکیل‌دهنده. درپوش پلاستیکی که از ریختن مواد مخلوط‌شده به بیرون جلوگیری می‌کند. تیغهٔ مخلوط‌کن که در وسط مخزن نصب می‌شود. قسمت آب پرتقال‌گیری: قسمت آب پرتقال‌گیری دستگاه از اجرای زیر تشکیل شده‌است: درپوش کلاهکی که روی بازوی مخلوط‌کن سوار می‌شود و قسمت وسط آن گردان است. مخزن که روی دکمهٔ سر موتور سوار می‌شود و بازوی بلندی که با کلاهک درپوش درگیر می‌شود در آن قرار دارد. روی دسته دکمهٔ فشاری قرار دارد. بدنهٔ اصلی دستگاه که موتور محرک در آن قرار دارد و دکمه‌ای
دستگاه که موتور محرک در آن قرار دارد و دکمه‌ای که زیر دستهٔ مخلوط‌کن آن قرار می‌گیرد. قسمت الکتریکی دستگاه: قسمت الکتریکی آسیاب برقی از قطعات زیر تشکیل شده‌است: مخلوط‌کن صنعتی. مخلوط‌کن‌های صنعتی وسایلی هستند که برای مخلوط کردن انواع مواد به کار می‌روند. این مخلوط‌کن‌ها در صنایع مختلفی مثل صنایع شیمیایی، داروسازی، غذایی، پلاستیک و پتروشیمی، ساختمان و سیمان و بسیاری صنایع دیگر کاربرد دارند. مخلوط‌کن‌ها با توجه به نوع ماده‌ای که قرار است مخلوط شود، طراحی و ساخته می‌شوند. برای مثال مخلوط‌کنی که برای پودرها
ساخته می‌شوند. برای مثال مخلوط‌کنی که برای پودرها به‌کار می‌رود با مخلوط‌کنی که برای مخلوط کردن مایعات طراحی شده متفاوت است. همچنین ظرفیت مخلوط‌کن‌های صنعتی می‌تواند از چند لیتر تا ده‌ها هزار لیتر متغیر باشد. کاربرد اصلی مخلوط‌کن‌ها در صنایع، یکنواخت کردن ترکیب، بافت و خواص مواد است. با استفاده از مخلوط‌کن می‌توان مواد اولیه را به‌طور کامل و یکنواخت با هم مخلوط کرد تا محصول نهایی دارای خواص یکنواخت و مطلوب باشد. مخلوط‌کن‌ها نقش مهمی در فرایند تولید در بسیاری از صنایع ایفا می‌کنند و باعث افزایش بهره‌وری،
از صنایع ایفا می‌کنند و باعث افزایش بهره‌وری، کاهش هزینه‌ها و بهبود کیفیت محصول نهایی می‌شوند. مخلوط‌کن‌های صنعتی ابزاری ضروری برای تولید انبوه و صنعتی هستند.
قضیه یا فَربین (به انگلیسی: Theorem)، در ریاضیات، گزاره‌ای است که بر پایه ‌گزاره‌های پیشین مثل سایر قضایا یا تئوری‌ها، گزاره‌هایی که به‌صورت کلی و عام پذیرفته شده‌اند، مثل «اصل موضوع»، اثبات شده‌است. اثبات قضیهٔ ریاضی، استدلالی منطقی برای گزارهٔ مطرح‌شده در قضیه است که در توافق با قوانین موجود در روش (سیستم) استقرایی، می‌باشد. اثبات تئوری اغلب برای توجیه درستی گزاره قضیه تفسیر و مطرح می‌شوند. با توجه به اثبات قضایای ریاضی بر اساس نیاز، مفهوم و تصور کلی یک قضیهٔ ریاضی اساساً استقرایی است که در تضاد با مفهوم
ریاضی اساساً استقرایی است که در تضاد با مفهوم یک نظریه (قضیه) علمی - که بر اساس تجربه و آزمایش است - می‌باشد. بسیاری از قضایای ریاضی، گزاره‌های شرطی هستند. در این مورد، اثبات از نتیجه گرفته شده از فرض قضیه استنباط می‌شود. با توجه به تعبیر و تفسیر اثبات به عنوان توجیه یک درستی، استنتاج اغلب به منظور نتیجه لازم و ضروری فرض قضیه دیده می‌شود. به عبارت دیگر، استنتاج با توجه به فرضیاتی که درست هستند، بدون هیچ فرض اضافه‌تر، صحیح می‌باشد. به هر حال، گزاره‌های شرطی با توجه به مفاهیمی که به قوانین استنتاج و نمادهای
با توجه به مفاهیمی که به قوانین استنتاج و نمادهای شرطی اختصاص داده شده‌اند، می‌توانند به‌طور متفاوت در روش (سیستم) استقرایی تفسیر و مطرح شوند. اگر چه آن‌ها می‌توانند به‌صورت کاملاً نمادین نوشته شوند، برای مثال در حساب گزاره‌ای قضایا اغلب در زبان طبیعی مانند انگلیسی بیان می‌شوند. همان اثبات درست است که به عنوان منطقی سازماندهی شده و استدلالی رسمی نوشته شده، قصد دارد که خواننده را بر درستی گزاره فارغ از هرگونه شکی متقاعد کند. این استدلال‌ها برای بررسی معمولاً آسان‌تر است نسبت به آن‌هایی که کاملاً نمادین
آسان‌تر است نسبت به آن‌هایی که کاملاً نمادین هستند. در واقع بسیاری از ریاضی‌دانان که صورتی از اثبات را بیان کردند که نه‌تنها درستی قضیه را بیان می‌کند، بلکه به گونه‌ای توضیح می‌دهد که چرا قضیه صحیح می‌باشد. در بعضی حالات یک تصویر می‌تواند برای اثبات یک قضیه کافی باشد. از آنجایی که قضایا در هستهٔ ریاضیات گنجانده شده‌اند، آن‌ها مرکز زیبایی ریاضیات نیز شناخته می‌شوند. قضایا اغلب با کلماتی از جمله "بدیهی"، "دشوار "، "عمیق"، یا حتی "زیباً توصیف می‌شود. این قضاوت‌های ذهنی نه تنها از شخصی به شخصی دیگر بلکه در
ذهنی نه تنها از شخصی به شخصی دیگر بلکه در زمان‌های مختلف نیز تفاوت دارد. برای مثال چنانچه یک اثبات ساده شده باشد یا قابل فهم شده باشد یک قضیه که زمانی دشوار تلقی می‌شد ممکن است به یک قضیهٔ بدیهی تبدیل شود. از سوی دیگر، یک قضیهٔ عمیق ممکن است به سادگی بیان شود، اما اثبات آن ممکن است اتصال شگفت‌انگیز و ظریف بین مناطق مختلف ریاضیات را شامل شود. آخرین قضیه فرما مثال خوبی برای این گونه از قضایاست. حساب رسمی قضایا. به‌طور منطقی بسیاری از تئوری‌ها به صورت مشروط نشان داده می‌شوند: اگر آ آنگاه ب. ب را اثبات نمی‌کند
داده می‌شوند: اگر آ آنگاه ب. ب را اثبات نمی‌کند مگر ب نتیجه لازم برای آ باشد. در این حالت آ را فرضیه و ب را نتیجه می‌نامند. این قضیه یک قضیه باید با صراحت بیان شود تا به عنوان یک گزاره رسمی شناخته شود. با این وجود، نظریه‌ها معمولاً در زبان طبیعی، و نه در یک فرم کاملاً نمادین بیان می‌شود، با این هدف که خواننده می‌تواند یک گزاره رسمی تولید کند. این در ریاضیات متداول است که تعدادی از فرضیه‌ها را در یک زبان داده شده انتخاب کنند و اعلام کنند که این نظریه شامل تمام اظهارات قابل اثبات از این فرضیه‌ها می‌باشد. این
اظهارات قابل اثبات از این فرضیه‌ها می‌باشد. این فرضیه‌ها اساس بنیادین قضایا را تشکیل می‌دهد که اصل موضوع نامیده می‌شود. رشته ریاضیات به عنوان مطالعات تئوری اثبات زبان رسمی، اصول موضوع و ساختار اثبات‌ها است. بعضی قضایا بدیهی هستند به این معنا که به‌طور واضحی از تعاریف، اصول موضوع و سایر قضایا نتیجه‌گیری شده‌اند و نکته شگفت‌آوری را شامل نمی‌شوند. از سویی دیگر بعضی از قضایا عمیق اند زیرا ممکن است اثبات آن‌ها طولانی یا دشوار باشد یا این که شامل زمینه‌های مختلف ریاضیات می‌باشد و ارتباط شگفت‌آوری را بین
مختلف ریاضیات می‌باشد و ارتباط شگفت‌آوری را بین زمینه‌های متمایز ریاضیات را مشخص کند. همچنین یک قضیه ساده در عین حال می‌تواند عمیق و پیچیده باشد. قضیه آخر فرما مثال خوبی برای این گونه قضایاست؛ و بسیاری از نمونه‌های دیگر از قضایای عمیق ساده در نظریه اعداد و ترکیبیات وجود دارد. برخی قضایا اثبات‌های شناخته شده‌ای دارند که به راحتی قابل پیاده‌سازی نیست. برجسته‌ترین نمونه قضیه چهار رنگ و حدس کپلر است. هر دو قضیه طی یک جستجوی محاسباتی که بعدها توسط یک برنامه کامپیوتری تأیید شد اثبات شده‌اند. در ابتدا، بسیاری از
تأیید شد اثبات شده‌اند. در ابتدا، بسیاری از ریاضیدانان این شکل از اثبات را قبول نمی‌کردند، اما به‌طور گسترده‌ای پذیرفته می‌شدند. ریاضیدان Doron Zeilberger حتی اظهار داشت که این نوع از اثبات، اثباتی باطل است. بسیاری از قضایای ریاضی را می‌توان به محاسبات ساده‌تر کاهش داد، از جمله چندجمله‌ای، مثلثاتی و هویت فوق هندسی. اثبات‌پذیری و قضیه هود. برای انتشار یک گزاره ریاضی به عنوان قضیه، اثبات لازم است، یعنی یک خط از دلایل با توجه به اصل موضوعه در سیستم (و سایر، قضایای تقریباً انتشار یافته) باید برای گزاره داده
قضایای تقریباً انتشار یافته) باید برای گزاره داده شده نشان داده بشود. هر چند، اثبات تقریباً جدا از گزاره قضیه به حساب می‌آید. اگر چه بیش از یک اثبات ممکن است برای یک قضیه وجود داشته باشد اما یک اثبات لازم است که وضعیت گزاره به عنوان قضیه را انتشار بدهد. نظریه فیثاغورث و قانون معادله درجه دوم با تعداد بسیاری از اثبات‌ها می‌توانند عنوان قضیه را به خود بگیرند. رابطه با نظریه‌های علمی. قضایا در ریاضی و نظریات در علوم اساساً از نظر معرفت‌شناسی متفاوت هستند. یک نظریه علمی نمی‌تواند اثبات شود؛ صفت کلیدی آن ابطال
علمی نمی‌تواند اثبات شود؛ صفت کلیدی آن ابطال است؛ یعنی پیش‌بینی‌هایی دربارهٔ جهان طبیعی می‌کند که با آزمایش‌ها قابل آزمایش است. هرگونه عدم توافق بین پیش‌بینی و آزمایش، نادرستی نظریه علمی یا حداقل محدود بودن دقت و دامنه اعتبار آن را نشان می‌دهد. قضایای ریاضی، به عبارتی دیگر، به‌طور محض چکیده‌ای از گزاره‌های صوری هستند: اثبات یک قضیه نمی‌تواند شامل آزمایش و سایر سندهای تجربی به همان صورت که برای اثبات نظریه‌های علمی به کار می‌رود، باشد. با این حال، درجه‌هایی از تجربه گرایی و جمع‌آوری داده‌هایی که در کشف
از تجربه گرایی و جمع‌آوری داده‌هایی که در کشف قضیه‌های ریاضی شرکت داشتند، وجود دارند. با انتشار یک الگو، بعضی مواقع با استفاده از کامپیوتر قدرتمند، ریاضیدان‌ها ممکن است ایده‌ای از آنچه می‌خواهند اثبات کنند، و در بعضی موارد، برنامه‌ریزی برای چگونگی راه در مورد آنچه می‌خواهند اثبات کنند داشته باشند. برای مثال، حدس کلتز برای شروع اعداد تا حدود ۲٫۸۸ *۱۰۱۸ تأیید شده‌است. فرضیه ریمن برای ۱۰ تریلیون صفر تابع زتا تأیید شده‌است. هیچ‌یک از این گزاره‌ها اثبات شده به حساب نمی‌آیند. چنین شواهدی اثبات را تشکیل نمی‌دهند.
نمی‌آیند. چنین شواهدی اثبات را تشکیل نمی‌دهند. برای مثال، حدس مرتنز گزاره‌ای است دربارهٔ اعداد طبیعی که الان می‌دانیم غلط است اما هیچ مثال نقضی شناخته نشده‌است (عدد طبیعی n برای تابع M(n) که برابر ریشه دوم n است). تمام اعداد کمتر از ۱۰۱۴ خاصیت مرتنز را دارند و کوچکترین عددی که این خاصیت را ندارد تنها معلوم است که از تابع نمایی عدد 1.59x1040 که تقریباً برابر ۱۰ به توان ۴٫۳*۱۰۳۹ کمتر می‌باشد. چون تعداد ذرات در جهان به‌طور کل کمتر از ۱۰ به توان ۱۰۰ به حساب می‌آیند، امیدی نیست که یک مثال نقض با جستجوهای
می‌آیند، امیدی نیست که یک مثال نقض با جستجوهای خسته‌کننده پیدا بشود. در نظر داشته باشید که کلمه نظریهدر ریاضیات نیز وجود دارد؛ برای معنی کردن اصل موضوع ریاضیات، تعاریف و قضایا مثلاً در قضیه گروه. چندین قضیه در علوم به ویژه فیزیک و در مهندسی وجود دارد اما آن‌ها اغلب گزاره‌ها و اثبات‌هایی دارند که در فرضیات فیزیکی و شهود نقش مهمی ایفا می‌کند؛ قاعده کلی فیزیکی برای چنین قضایایی بر این پایه هست که خودشان باطل هستند. واژه‌شناسی. تعدادی از واژه‌های مختلف برای عبارات ریاضی وجود دارد که این واژه‌ها گزاره‌ها را
عبارات ریاضی وجود دارد که این واژه‌ها گزاره‌ها را بیان می‌کنند. استفاده از بعضی لغات ممکن است به صورت قرار دادی باشد و گاهی معانی لغات تکامل می‌یابد. اصل یا اصل موضوع گزاره‌ای است که بدون اثبات پذیرفته می‌شود و به عنوان اساسی برای موضوع است. از لحاظ تاریخی این به عنوان «بدیهی» در نظر گرفته شده‌است، اما اخیراً آن‌ها فرضی در نظر گرفته می‌شوند که موضوع مطالعه را مشخص می‌کند. در هندسه کلاسیک، اصول موضوعه بیانیه‌های عمومی هستند در حالی که اصول موضوعه اظهاراتی در مورد اشیاء هندسی می‌باشد. گزاره(پیشنهاد) یک
در مورد اشیاء هندسی می‌باشد. گزاره(پیشنهاد) یک اصطلاح عمومی است برای قضایایی که از اهمیت کمتری برخوردارند. این واژه گاهی اوقات یک بیانیه متضمن با یک اثبات ساده است در حالی که واژه قضیه هنگامی استفاده می‌شود که نتیجه مهم یا اثبات دشوارتری در کار باشد. لم یک کمک قضیه است. یک گزاره با کاربرد کمی که بخشی از یک اثبات طولانی را تشکیل می‌دهد. در برخی موارد که اهمیت نسبی بعضی قضایا روشن شد و گزاره‌ای که در گذشته لم نامیده می‌شد قضیه نام گرفت اما واژه لم هم چنان باقی ماند. نتیجه فرعی یا استنباط گزاره‌ای است بدون
ماند. نتیجه فرعی یا استنباط گزاره‌ای است بدون اثبات یا با اثباتی کم که از قضیه دیگر یا یک تعریف نتیجه‌گیری شده‌است. عکس قضیه گزاره‌ای است که با معکوس کردن یک قضیه و اثبات آن بدست می‌آید. همچنین لغاتی وجود دارند که کمتر استفاده می‌شوند که به‌طور معمول به اظهارات اثبات شده متصل اند: تطابق، که برای قضایایی که برای بیان برابری دو عبارت ریاضی است مورد استفاده قرار می‌گیرد. حکم که برای قضایایی که با فرمول منتشر می‌شود مورد استفاده قرار می‌گیرد؛ و هم چنین کلماتی دیگر از جمله قانون و قاعده و ... ترتیب و طرح بندی
دیگر از جمله قانون و قاعده و ... ترتیب و طرح بندی (مراحل). یک قضیه و اثبات آن به‌طور معمول به صورت زیر دارای ترتیب هستند: قضیه (اسم شخص اثبات‌کننده و سال کشف، اثبات یا نشر آن) جملات یک قضیه (معمولاً گزاره گفته می‌شود) اثبات توضیح اثبات نشان خاتمه انتهای اثبات ممکن است با حروف Q.E.D.(quod erat demonstrandum) علامت‌گذاری شود یا با یکی از علامات "□" یا "∎" به معنی پایان اثبات می‌باشد که به وسیله پائول هالموس به دنبال موارد استفاده آن‌ها در مقالات مجلات معرفی شد. سبک دقیق بستگی به نویسنده یا انتشارات دارد.
شد. سبک دقیق بستگی به نویسنده یا انتشارات دارد. بسیاری از انتشارات، ساختارها یا ماکروهایی برای حروف چینی در سبک‌های خانگی فراهم می‌کنند. در یک قضیه معمول آن است که به وسیلهٔ تعاریفی، مفهوم دقیق شرایط و اصطلاحات استفاده شده در قضیه را شرح می‌دهند، مقدم بشوند. همچنین معمول است که یک قضیه به وسیلهٔ تعداد گزاره‌ها یا لم‌ها که در اثبات استفاده شده‌اند، مقدم بشوند. هر چند، لم‌ها معمولاً در اثبات قضیه جا داده می‌شوند، چه همراه با اثبات‌های تودرتو یا چه همراه با اثبات‌های ارائه شده بعد از اثبات اصلی قضیه.
با اثبات‌های ارائه شده بعد از اثبات اصلی قضیه. استنباط‌ها یا نتایج یک قضیه یا بین قضیه و اثبات مطرح می‌شود یا مستقیماً بعد از اثبات. بعضی اوقات، استنباط‌ها اثبات‌هایی برای خودشان دارند که توضیح می‌دهند چرا در اثبات قضیه استفاده شده‌اند. تاریخچه. تخمین زده شده‌است که بیش از یک چهارم یک میلیون قضیه، هر سال اثبات می‌شود. جمله معروف "ریاضیدان دستگاهی است برای تبدیل قهوه با قضیه هاً که احتمالاً از آلفرد رنیی می‌باشد؛ اگرچه اغلب به همکار رنیی، پائول اردوس، کسی که به خاطر تعداد زیادی قضیه، تعداد و میزان
کسی که به خاطر تعداد زیادی قضیه، تعداد و میزان همکاری‌هایش، و نوشیدن قهوه، مشهور بوده‌است، نسبت داده شده‌است (رنیی ممکن است در تفکر مانند اردوس بوده باشد) رده‌بندی گروه‌های متناهی ساده توسط برخی در نظر گرفته شده‌است که طولانی‌ترین اثبات یک قضیه می‌باشد که ده‌ها هزار صفحه در ۵۰۰ مقاله ژورنال‌ها به وسیلهٔ ۱۰۰ نویسنده را دربرداشته‌است. این برگه‌ها با هم بر این باور بودند که یک اثبات کامل ارائه دهند و چندین پروژه در حال پیشرفت نیز امید دارند که این اثبات را ساده‌تر کنند. قضیه دیگر از این نوع، قضیه ۴ رنگ
را ساده‌تر کنند. قضیه دیگر از این نوع، قضیه ۴ رنگ می‌باشد که اثبات انجام شده توسط کامپیوتر آنقدر طولانی است که امکان خواندن برای افراد وجود ندارد. دقیقاً طولانی‌ترین اثبات شناخته شده قضیه‌ای که گزاره آن به سادگی توسط یک شخص عام فهمیده می‌شود. قضایا در منطق. منطق، به ویژه در زمینه اثبات قضیه، قضایا را همانند جملات و گزاره‌های یک زبان رسمی به حساب می‌آورد (که به آن فرمول گفته می‌شود). گزاره‌های یک زبان رشته‌های نمادها هستند و ممکن است به‌طور گسترده به حرف‌های پوچ و فرمول‌های خوش فرم تقسیم شوند. مجموعه‌ای از
پوچ و فرمول‌های خوش فرم تقسیم شوند. مجموعه‌ای از قوانین قیاس، که قانون تبدیل و دگرگونی یا قانون استنتاج نیز گفته می‌شود، باید فراهم گردد. این قوانین دقیقاً بیان می‌کند که چه هنگام یک فرمول می‌تواند از مجموعه‌ای از فرضیات قبلی مشتق شود. مجموعه فرمول‌های خوش فرم ممکن است به‌طور گسترده به قضایا و غیرقضایا تقسیم شوند. هر چند، با توجه به هافستادتر، یک سیستم صوری، اغلب به‌طور خیلی ساده فرمول‌های خوش فرم را مانند قضایا تعریف می‌کند. مجموعه‌های متفاوت قوانین استنتاج به تفاسیر گوناگونی از آن چیزی ختم می‌شود که به
به تفاسیر گوناگونی از آن چیزی ختم می‌شود که به معنای بیانی یک قضیه است. بعضی از قوانین استنتاج و زبان‌های صوری بر آن شده بودند که استدلال ریاضیاتی به دست آورند؛ رایج‌ترین مثال مورد استفاده منطق مرتبه اول می‌باشد. سایر روش‌های استنتاجی مدت و شرایط بازنویسی را توضیح می‌دهد. مانند قوانین کاهش برای حساب لاندا. تعریف قضیه‌ها به عنوان عناصر زبان صوری نتایج اثبات قضیه را قادر می‌سازد که ساختار اثبات‌های صوری و فرمول‌های قابل اثبات را مورد مطالعه و بررسی قرار دهد. معروف‌ترین دست‌آورد، قضیه ناتمامیت گودل می‌باشد؛
معروف‌ترین دست‌آورد، قضیه ناتمامیت گودل می‌باشد؛ با نشان دادن قضایا دربارهٔ تئوری اعداد اساسی به عنوان بیانی در زبان صوری، و سپس نشان دادن این زبان همراه باخود نظریه اعداد، گودل مثال‌هایی از گزاره‌هایی پدید آورد که با توجه به اصل موضوعه نظریه اعداد نه قابل اثبات هستند نه غیرقابل اثبات. یک قضیه ممکن است در زبان صوری بیان شود. یک قضیه صوری، به‌طور محض، نظیر صوری قضیه است. در کل، یک قضیه صوری نوعی از فرمول خوش فرم هست که شرایط نحوی و معین منطقی را راضی می‌کند. مفهوم formula_1اغلب استفاده می‌شود برای آنکه نشان
مفهوم formula_1اغلب استفاده می‌شود برای آنکه نشان بدهد formula_1 یک قضیه است. قضایای صوری از فرمول‌های زبان صوری و قوانین ترکیب روش صوری تشکیل شده‌است. به خصوص، یک قضیه صوری همیشه آخرین فرمول یک استنتاج در بعضی روش‌های صوری است که هر کدام از فرمول‌ها یک گزاره منطقی است از فرمول‌هایی که قبلاً در استنتاج آمده‌اند. به فرمول‌های پذیرفته شده اولیه در استنتاج، اصل موضوعه آن می‌گویند و بر پایه‌ای هستند که قضیه استنتاج شده‌است. به مجموعه‌ای از قضایا، نظریه می‌گویند. آنچه که قضایا را مفید و جالب ساخته آن است که
آنچه که قضایا را مفید و جالب ساخته آن است که آن‌ها می‌توانند به عنوان یک گزاره حقیقی مطرح بشوند و مشتقات (استنتاج‌های) آن‌ها ممکن است به عنوان اثبات درستی گزاره پایانی باشد. مجموعه‌ای از قضایای صوری ممکن است به عنوان نظریه صوری ارجاع داده شوند. قضیه‌ای که تفسیر آن گزاره‌ای درست دربارهٔ روش (سیستم) صوری است را قضیه متا می‌گویند. صرف و نحو. مقالات اصلی: صرف (منطق) و معناشناسی صوری (منطق) مفهوم قضیه صوری اساساً نحوی است و در تضاد با مفهوم گزاره حقیقی است که معناشناسی را معرفی می‌کند. روش‌های استقرایی متفاوت
را معرفی می‌کند. روش‌های استقرایی متفاوت می‌تواند سایر تفاسیر و تعابیر را با توجه به فرضیات قوانین استنتاج ثمر ببخشد (باور، توجیه و سایر شروط). خوش فکری یک روش صوری بستگی به این دارد که تمامی قضایای آن اعتبار دارد یا خیر. اعتبار فرمولی است که تحت هر تفسیر درست می‌باشد؛ مثلاً در گزاره‌های کلاسیک منطق، اعتبارها حشو و زائد هستند. یک روش (سیستم) صوری هنگامی به صورت معنایی کامل به حساب می‌آید که تمام حشوهای آن، خود نیز قضایایی هستند. استنتاج یک قضیه. مقاله اصلی: اثبات صوری مفهوم قضیه به اثبات صوری آن، به‌طور
اثبات صوری مفهوم قضیه به اثبات صوری آن، به‌طور خیلی نزدیک به آن مربوط شده‌است (استنتاج نیز می‌نامند). برای اینکه نشان بدهند استنتاج‌ها چگونه انجام می‌شوند، ما در یک روش (سیستم) صوری بسیار ساده شده عمل خواهیم کرد. فرض کنیم که حروف formula_3 از دو نماد A و B تشکیل شده‌است و قانون ترکیب آن برای فرمول برابر است با: «هر رشته از نماد formula_3 که حداقل طول آن رشته سه است و دارای طول بینهایت نمی‌باشد»، یک فرمول است. هیچ چیز دیگری فرمول نیست. تنها اصل موضوعهformula_3 برابر است با: ABBA تنها قاعده استنتاج (قانون
برابر است با: ABBA تنها قاعده استنتاج (قانون دگرگونی یا تبدیل) برای formula_3 برابر است با: هر رخداد A در قضیه، ممکن اس با رخداد رشته AB جایگزین شود و پی آمد آن یک قضیه می‌باشد. قضایا در formula_3 طوری تعریف شده‌اند که با توجه به ان قواعد، یک پایانِ استنتاجی همراه با آن قاعده داشته باشند. برای مثال: ABBA (به عنوان اصل موضوعه) ABBBA (با اعمال قانون دگرگونی یا تبدیل) ABBBAB (با اعمال قانون دگرگونی یا تبدیل) یک استناج است؛ بنابراین "ABBBAB" یک قضیه formula_3 است. مفهوم حقیقت و درستی (یا نادرستی) نمی‌تواند به
مفهوم حقیقت و درستی (یا نادرستی) نمی‌تواند به قاعده و فرمول "ABBBAB" اعمال شود مگر اینکه یک تفسیر و تعبیر برای نمادهای آن تعریف شود. در نتیجه در این مثال، قاعده و فرمول هنوز یک گزاره را ارائه و مطرح نمی‌کند اما صرفاً یک انتزاع پوچ می‌باشد. دو اشتراک موجود در قضایای formula_3 عبارتند از: هر قضیه با A شروع می‌شود هر قضیه دقیقاً دارای دو A می‌باشد.
ارنواز یکی از دو دختر جمشید است که در ابتدا به همسری ضحاک درآمد و پس از پیروزی فریدون بر ضحاک، همسر فریدون شد. ارنواز در شاهنامه. پادشاهی جمشید به سبب تغییر اخلاق و رویه در حکومت بخت و اقبال از او برگشت و فرّه‌ایزدی از سیمای او پر کشید. اکابر و بزرگان کشور از وی روی برتافته به جانب ضحاک رو آوردند. چون ضحاک بر تاج و تخت کیان جلوس نمود عمده فعالیت او یافتن جمشید و کشتن او بود چون مادامی که جمشید متواری بود، جلوس او قانونی محسوب نمی‌شد مگر اینکه نسل پادشاهی ایران از روی زمین محو شود. ضحاک چون بر تخت پادشاهی
از روی زمین محو شود. ضحاک چون بر تخت پادشاهی نشست، گرد او اجتماع کردند و سالیان زیاد حکومت کرد ولی عمده خصائص حکمرانی دوران ضحاک ترویج آئین دروغ و محو راستی در قلمرو او بود جادوگران و دیوان صاحب منصب و اختیار فرزانگان و نیکوکاران در خفا و خطر قرار گرفتند. طبق رسم باستان پادشاه جدید تا ملکه یا بانوی سلطان پیشین را به عقد خود درنمی‌آورد حکومت او رسمیت نداشت فلذا ضحاک دو دختر پادشاه متواری را به عقد خویش درآورد و رسماً پادشاه ایرانیان و تازیان شد. ارنواز در اوستا. در اوستا نام ارنواز به دیسهٔ «اَرِنَوَک»
اوستا. در اوستا نام ارنواز به دیسهٔ «اَرِنَوَک» (اوستایی: 𐬀𐬭𐬆𐬥𐬀𐬎𐬎𐬀𐬐 /arənavak/) در بندهای ۱۳ و ۱۴ گوش‌یشت (درواسپ یشت) دیده می‌شود. آمده ست که فریدون برای ایزد گوش قربانی نموده و از او درخواست که به ضحاک غلبه کند و دو زنش را به نام‌های «سَنْگْهَوَک» (اوستایی:𐬯𐬀𐬢𐬵𐬀𐬎𐬎𐬀𐬐 /saŋhavak/) و «اَرِنَوَک» (اوستایی:𐬀𐬭𐬆𐬥𐬀𐬎𐬎𐬀𐬐 /arənavak/) را که برای زادآوری دارای بهترین بدن و از برای خانه‌داری برازنده هستند؛ از وی برباید. در بندهای ۲۳ از رام‌یشت و در بندهای ۳۳ تا ۳۵ از ارد یشت باز فریدون از برای فرشتگان ویو (هوا) و ارد
یشت باز فریدون از برای فرشتگان ویو (هوا) و ارد (دارایی) فدیه می‌آورد تا بر ضحاک چیرگی یافته و دو زنش را برباید. برای نمونه در بند ۱۴ گوش‌یشت آمده ست: «𐬛𐬀𐬰𐬛𐬌. 𐬨𐬈. 𐬬𐬀𐬢𐬎𐬵𐬌. 𐬯𐬆𐬎𐬎𐬌𐬱𐬙𐬈. 𐬛𐬭𐬎𐬎𐬁𐬯𐬞𐬈. 𐬙𐬀𐬝. 𐬁𐬌𐬌𐬀𐬞𐬙𐬆𐬨𐬿 𐬫𐬀𐬝. 𐬠𐬀𐬎𐬎𐬁𐬥𐬌. 𐬀𐬌𐬡𐬌-𐬬𐬀𐬥𐬌𐬌𐬃. 𐬀𐬲𐬍𐬨. 𐬛𐬀𐬵𐬁𐬐𐬆𐬨. 𐬚𐬭𐬌𐬰𐬀𐬟𐬀𐬥𐬆𐬨. 𐬚𐬭𐬌𐬐𐬀𐬨𐬆𐬭𐬆𐬜𐬆𐬨. 𐬑𐬴𐬎𐬎𐬀𐬱𐬀𐬴𐬍𐬨. 𐬵𐬀𐬰𐬀𐬢𐬭𐬀-𐬫𐬀𐬊𐬑𐬱𐬙𐬍𐬨. 𐬀𐬱𐬀𐬊𐬘𐬀𐬢𐬵𐬆𐬨. 𐬛𐬀𐬉𐬎𐬎𐬍𐬨. 𐬛𐬭𐬎𐬘𐬆𐬨. 𐬀𐬖𐬆𐬨. 𐬟𐬭𐬀𐬗𐬀. 𐬐𐬆𐬭𐬆𐬧𐬙𐬀𐬝. 𐬀𐬢𐬭𐬋. 𐬨𐬀𐬌𐬥𐬌𐬌𐬎𐬱. 𐬀𐬎𐬎𐬀. 𐬫𐬅𐬨. 𐬀𐬯𐬙𐬎𐬎𐬀𐬌𐬙𐬍𐬨. 𐬔𐬀𐬉𐬚𐬅𐬨. 𐬨𐬀𐬵𐬭𐬐𐬁𐬌. 𐬀𐬴𐬀𐬵𐬈. 𐬔𐬀𐬉𐬚𐬀𐬥𐬀𐬅𐬨𐬺 𐬎𐬙𐬀. 𐬵𐬈. 𐬬𐬀𐬧𐬙𐬀. 𐬀𐬰𐬁𐬥𐬌. 𐬯𐬀𐬢𐬵𐬀𐬎𐬎𐬁𐬗𐬌. 𐬀𐬭𐬆𐬥𐬀𐬎𐬎𐬁𐬗𐬌. 𐬫𐬋𐬌. 𐬵𐬆𐬥. 𐬐𐬆𐬵𐬭𐬞𐬀. 𐬯𐬭𐬀𐬉𐬱𐬙𐬀. 𐬰𐬀𐬰𐬁𐬙𐬇𐬈.
𐬀𐬭𐬆𐬥𐬀𐬎𐬎𐬁𐬗𐬌. 𐬫𐬋𐬌. 𐬵𐬆𐬥. 𐬐𐬆𐬵𐬭𐬞𐬀. 𐬯𐬭𐬀𐬉𐬱𐬙𐬀. 𐬰𐬀𐬰𐬁𐬙𐬇𐬈. 𐬔𐬀𐬉𐬚𐬌𐬌𐬁𐬌𐬙𐬀. 𐬫𐬋𐬌. 𐬀𐬠𐬛𐬋𐬙𐬆𐬨𐬈𐬺» kazki. me. vaŋuhi. səvište. drvāspe. taț. āyaptəm. «این کامیابی را بمن ده ای نیک ای تواناترین درواسپ که من به اژی دهاک (ضحاک) سه‌پوزه سه‌کله، شش چشم هزار چستی و چالاکی دارنده پیروزی یابم. باین دیو دروغ بسیار قوی که آسیب مردمان است باین خبیث و قوی‌ترین دروغی که اهریمن بر ضد جهان مادی بیافرید تا جهان راستی را از آن تباه سازد و که من هر دو زنش را بربایم هر دو را سنگهوک و ارنوک که از برای زادآوری دارای بهترین بدن می‌باشند هر دو را که
زادآوری دارای بهترین بدن می‌باشند هر دو را که از برای خانه‌داری برازنده هستند.»
شهرناز یا شهرنواز یا شه‌نواز یکی از دو دختر جمشید است که در ابتدا به همسری ضحاک درآمد و پس از پیروزی فریدون بر ضحاک، همسر فریدون شد. شهرناز در شاهنامه. طبق متون شاهنامه به نظر می‌رسد ارنواز خواهر بزرگتر است چون در مصاحبت و گفتگوها این ارنواز است که مشارکت دارد و شهرناز اگر هم در جمع حضور دارد ساکت و خاموش فقط می‌شنود. بار اول مباحثه ارنواز با ضحاک آن زمانی است که ضحاک از خوابی که دیده بود هراسان بیدار گشت و نعره برآورد و از بانگ هولناک آن هر دو خورشیدرو نزد او آمده و ارنواز به طعنه به پادشاه هفت کشور
نزد او آمده و ارنواز به طعنه به پادشاه هفت کشور می‌گوید چه شده که شاه جهان چنین هراسان گشته است. بار دیگر زمانی که فریدون بر پایتخت ضحاک بابل سیطره یافت داخل کاخ صد ستون شد همهٔ نگهبانان و نرّه دیوان ضحاک را با گرز نقش زمین کرد چهار نعل به درون کاخ تاخت کلاه کیانی را گرفته بر سر نهاد آنگاه دختران جم به استقبال او آمدند از اصل و نسب فریدون پرسیدند نشان او را یافتند و فهمیدند که خواب‌های پریشان ضحاک بی‌سبب نبود. فریدون مخفیگاه ضحاک را پرسید و باز این ارنواز است که پاسخ آورد و شهرناز خاموش است. شهرناز در
است که پاسخ آورد و شهرناز خاموش است. شهرناز در اوستا. در اوستا نام ارنواز به دیسه‌ی «سَنْگْهَوَک» (اوستایی:𐬯𐬀𐬢𐬵𐬀𐬎𐬎𐬀𐬐 /saŋhavak/) در بندهای 13 و 14 گوش‌یشت (درواسپ یشت) دیده می‌شود. آمده ست که فریدون برای ایزد گوش قربانی نموده و از او درخواست که به ضحاک غلبه کند و دو زنش را به نام‌های «سَنْگْهَوَک» (اوستایی:𐬯𐬀𐬢𐬵𐬀𐬎𐬎𐬀𐬐 /saŋhavak/) و «اَرِنَوَک» (اوستایی:𐬀𐬭𐬆𐬥𐬀𐬎𐬎𐬀𐬐 /arənavak/) را که برای زادآوری دارای بهترین بدن و از برای خانه‌داری برازنده هستند؛ از وی برباید. در بندهای 23 از رام‌یشت و در بندهای 33 تا 35 از ارد
بندهای 23 از رام‌یشت و در بندهای 33 تا 35 از ارد یشت باز فریدون از برای فرشتگان ویو (هوا) و ارد (دارایی) فدیه می‌آورد تا بر ضحاک چیرگی یافته و دو زنش را برباید. برای نمونه در بند 14 گوش‌یشت آمده ست: «𐬛𐬀𐬰𐬛𐬌. 𐬨𐬈. 𐬬𐬀𐬢𐬎𐬵𐬌. 𐬯𐬆𐬎𐬎𐬌𐬱𐬙𐬈. 𐬛𐬭𐬎𐬎𐬁𐬯𐬞𐬈. 𐬙𐬀𐬝. 𐬁𐬌𐬌𐬀𐬞𐬙𐬆𐬨𐬿 𐬫𐬀𐬝. 𐬠𐬀𐬎𐬎𐬁𐬥𐬌. 𐬀𐬌𐬡𐬌-𐬬𐬀𐬥𐬌𐬌𐬃. 𐬀𐬲𐬍𐬨. 𐬛𐬀𐬵𐬁𐬐𐬆𐬨. 𐬚𐬭𐬌𐬰𐬀𐬟𐬀𐬥𐬆𐬨. 𐬚𐬭𐬌𐬐𐬀𐬨𐬆𐬭𐬆𐬜𐬆𐬨. 𐬑𐬴𐬎𐬎𐬀𐬱𐬀𐬴𐬍𐬨. 𐬵𐬀𐬰𐬀𐬢𐬭𐬀-𐬫𐬀𐬊𐬑𐬱𐬙𐬍𐬨. 𐬀𐬱𐬀𐬊𐬘𐬀𐬢𐬵𐬆𐬨. 𐬛𐬀𐬉𐬎𐬎𐬍𐬨. 𐬛𐬭𐬎𐬘𐬆𐬨. 𐬀𐬖𐬆𐬨. 𐬟𐬭𐬀𐬗𐬀. 𐬐𐬆𐬭𐬆𐬧𐬙𐬀𐬝. 𐬀𐬢𐬭𐬋. 𐬨𐬀𐬌𐬥𐬌𐬌𐬎𐬱. 𐬀𐬎𐬎𐬀. 𐬫𐬅𐬨. 𐬀𐬯𐬙𐬎𐬎𐬀𐬌𐬙𐬍𐬨. 𐬔𐬀𐬉𐬚𐬅𐬨. 𐬨𐬀𐬵𐬭𐬐𐬁𐬌. 𐬀𐬴𐬀𐬵𐬈. 𐬔𐬀𐬉𐬚𐬀𐬥𐬀𐬅𐬨𐬺 𐬎𐬙𐬀. 𐬵𐬈. 𐬬𐬀𐬧𐬙𐬀. 𐬀𐬰𐬁𐬥𐬌.