نتایج جستجو

...گفته می‌شود اگر هر [[کلاس ابتدایی]] در <math>\beta</math> یک کلاس ابتدایی در <math>\alpha</math> باشد. * منطق انتزاعی ...

[[گزاره (منطق)|گزاره]] <math>A</math> را در''' صورت نرمال عطفی''' گوییم هرگاه به شکل و <math>A</math> را در '''صورت نرمال فصلی''' گوییم هرگاه به شکل ...

...T</math> از یک نظریه <math>\mathrm{T}</math> را قضیه ی آن نظریه می گویند. در دستگاه های استنتاجی اغلب زیرمجموعه ای چون <math>\Sigma \subset T</math> وجو ...ی‌پدیا. «[[:en:Theory (mathematical logic)|Theory (Mathematical Logic)]]». در دانشنامهٔ [[ویکی‌پدیای انگلیسی]]. ...

...افی برای ب است، در صورتی که از درستی الف، بتوان درستی ب را نتیجه گرفت. اما در صورت نادرستی الف، نمی‌توان به نادرستی ب رسید. ...شرط لازم و کافی در منطق به‌صورت رابطۀ منطقی [[اگر و تنها اگر]] بین [[مقدم (منطق)|مقدم]] و [[تالی]] بیان می‌شود.<ref>{{پک | Caplinskas | Dzemyda | Lupeikien ...

...یز در بسیاری از [[دستگاه صوری|سیستم‌های منطقی]] به‌عنوان یک ''ثابت منطقی'' در نظر گرفته می‌شود. یکی از سؤالات اساسی در [[فلسفه منطق]] این است که «ثابت منطقی چیست؟»؛<ref>{{Cite journal|last=Peacocke|first=Chr ...

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

...ز خاکستر برخاست، اعتقادی به معاد است که چنان در تمدن غربی منسوخ شده‌است که در هواپیماهای نمادین و ادبی گذشت.]] '''باور''' یا '''اعتقاد''' وضعیتی در [[ذهن]] است که با وجود آن، فرد فکر می‌کند که چیزی [[حقیقت (فلسفه)|درست]] اس ...

'''مجموعه'''، از [[بنداشت|بُنداشت‌ها]] ''(اصول تعریف‌ناپذیر)'' در [[ریاضیات]] است. [[نظریه مجموعه‌ها]] در اواخر سده ۱۹ مطرح شد و اکنون یکی از بخش‌های اصلی ریاضیات است. ...

...جمله امری|امری]]، [[پرسش]]ی و [[هیجان|عاطفی]] نمی‌توانند به عنوان یک گزاره در نظر گرفته شوند؛ چون بررسی درستی یا نادرستی آن‌ها بی‌معناست. ...ی) و (شرطی) وجود دارد. در گزاره حملی اِخبار بدون هیچ شرطی صورت می‌گیرد اما در گزاره شرطی با شرط و توأم با ادات شرط همراه است. ...

...موقعی تصمیم‌پذیر است که روش کارآمدی برای تعیین آنکه آیا فرمول‌های اختیاری در نظریه موجودند، موجود باشد. بسیاری از مسائل مهم، [[مسئله تصمیم‌ناپذیر|تصمیم‌ ...e_method|عنوان=Effective Method}}</ref> داده شود، آن مسئله تصمیم‌پذیر است. در یک راه حل مؤثر پاسخ درست به مسئله با طی گام‌های متناهی داده می‌شود. بسیاری ...

...-01|کد زبان=en}}</ref>[[پرونده:Infinity symbol.svg|بندانگشتی|نماد بی‌نهایت در [[تایپ‌فیس]]‌های مختلف]] ...نامحدود گرفته شده (علامت <math>\infty</math>) چیزی است که «محدود» نیست، که در آن هیچ محدودیت فضایی و زمانی وجود ندارد. ...

...ستدلالی منطقی برای گزارهٔ مطرح‌شده در قضیه است که در توافق با قوانین موجود در روش (سیستم) استقرایی، می‌باشد.<ref>{{یادکرد وب|عنوان=Theorem {{!}} Proofs, ...ریاضی بر اساس نیاز، مفهوم و تصور کلی یک قضیهٔ ریاضی اساساً استقرایی است که در تضاد با مفهوم یک نظریه (قضیه) علمی - که بر اساس تجربه و آزمایش است - می‌باش ...

[[Image:Sanzio 01 Parmenides.jpg|thumb|این سؤال در مورد فیلسوفان، حداقل از زمان [[پارمنیدس]] باستان (حدود ۵۱۵ قبل از میلاد) نو .../>'']''[[Tractatus Logico-Philosophicus]]'' 6.44</ref> و [[مارتین هایدگر]] در درازنای تاریخ فلسفه مطرح گردیده و به آن پرداخته شده‌است . فیلسوفان و صاحب ن ...

** [[بی‌ای]] در رشته فلسفه، دسامبر ۱۶۶۲ ** M.A. در رشته فلسفه، فوریه ۱۶۶۴ ...

...Universe?}}</ref> و می‌توان اندازهٔ [[جهان قابل مشاهده]] را به‌دست‌آورد که در حال حاضر تقریباً ۹۳ میلیارد سال نوری است. ...د تا [[نظریه خورشید مرکزی|مدل خورشید-مرکزی]] را بر پایهٔ مرکزیت [[خورشید]] در [[منظومه شمسی|منظومهٔ خورشیدی]] ارائه دهد. [[آیزاک نیوتن|سر ایزاک نیوتن]] ب ...