نتایج جستجو

...نه]] از [[منطق پویا (منطق وجهی)|منطق پویای]] درگیر در گزینه‌ها است. در این منطق، نتایج محدود می‌باشد.<ref>{{Cite journal|date=2020-03-15|title=Guarded logi یک «گزینه منطق محافظت‌شده»، گزینه‌ای است که هر تغییری در صحت آن روی همهٔ تصمیم‌های پایین‌ت ...

در [[منطق]]، یک '''[[منطق وجهی]] نُرمال''' {{به انگلیسی|Normal modal logic}}'''،''' یک مجموعۀ ''L'' ا * همۀ [[همان‌گویی (منطق)|همان‌گویی]]‌های گزاره‌ای ...

...وتاهی از جمله‌هایی بلند (یا کوتاه) تصور کرد.<ref>درآمدی نو به منطق نمادین: منطق محمول‌ها، ص 43.</ref> ...شخص کرد و تعبیری یافت که با فرض صدق مقدمات، نتیجه کاذب باشد.<ref>درآمدی به منطق جدید، ص 105.</ref>. به عنوان مثال، استدلال زیر را که دارای دو مقدمه و یک نت ...

در [[ریاضیات]] و [[منطق]]، '''اثبات مستقیم''' (به [[زبان انگلیسی|انگلیسی]]: Direct proof) راهی است ...ج استفاده می‌شود. نوع منطقی که استفاده می‌شود، اکثر اوقات [[منطق مرتبه اول|منطق مرتبۀ اول]] است که از سورهای وجود دارد و برای هر استفاده می‌کند. قاعده‌های ...

...2014"/> به نظر برخی از فلاسفه و دانشمندان، حتی ایده‌ها مثل [[ریاضیات]] و [[منطق]] را نیز باید جزئی از تعریف جهان دانست.{{refn|1={{یادکرد ژورنال |نام خانواد ...ای بی‌نهایت و ناپایداری‌ها سبب می‌گردد که ماده تحت نیروی گرانش خود به درون خرد شود.<ref name = "Misner-p755"/> این ناپایداری در سال ۱۹۰۲ با معیار [[ناپاید ...