لزوم منطقی

دانشنامه اسلامی

[ویکی فقه] لزوم منطقی، یکی از اصطلاحات به کار رفته در علم منطق بوده و به معنای ارتباط دو قضیه بدون قابلیت افتراض انفکاک؛ به دلیل لزوم تناقض است.
لزوم و ملازمه بین دو چیز را به دو قسم کرده اند:۱. لزوم منطقی؛۲. لزوم واقعی.
← قسم اول
فرق لزوم واقعی و لزوم منطقی این است که در لزوم واقعی، به خلاف لزوم منطقی، فرض انفکاک و جدائی، ذاتاً مستلزم تناقض نیست. مثلاً فرض عدم احراق برای آتش، و عدم غلیان و جوش آمدن آب برای حرارت مستلزم تناقض نیست.
مستندات مقاله
در تنظیم این مقاله از منبع ذیل استفاده شده است: • صدر، محمدباقر، الاسس المنطقیة للاستقراء.

جمله سازی با لزوم منطقی

رجیستری در ویندوز ۳٫۱ معرفی شد، و در آن زمان رجیستری ویندوز، در اصل فقط اطلاعات پیکربندی را برای مولفه‌های مبتنی بر COM ذخیره می‌کرد. اما ویندوز ۹۵ و ویندوز NT استفاده از آن را گسترش دادند و برای منطقی‌سازی و متمرکزسازی اطلاعات موجود در فایل‌های INI که بسیار فراوان هم بودند، آن را به کار بردند. این فایل‌های INI اطلاعات پیکربندی را برای برنامه‌های منفرد (که در مکان‌های متنوعی ذخیره شده بودند) نگهداری می‌کردند. لزومی ندارد که برنامه‌های کاربردی ویندوز حتماً از رجیستری ویندوز استفاده کنند. برای مثال، برنامه‌های کاربردی چارچوب دات‌نت از فایل‌های XML برای پیکربندی استفاده می‌کنند، درحالی‌که برنامه‌های انتقال‌پذیر معمولاً فایل‌های پیکربندی‌شان را همراه با اجراپذیرشان ذخیره می‌کنند.
علاوه بر لزوم پیدا کردن راه‌حل مناسب برای مسئله‌های پیچیده در زمان منطقی، به دلایل دیگر استفاده از روش‌های هیوریستیک در زیر اشاره شده‌است:
فال گیر
بیا فالت رو بگیرم!!! بزن بریم
حدس
حدس
تقسیم
تقسیم
انسجام
انسجام
ممنون
ممنون