ایات محمول

[ویکی فقه] آیات محمول. آیات حمل شده به شهرها را آیات محمول گویند.
به آیاتى که در زمان رسول الله (صلی الله علیه و آله) از شهرى به شهر دیگر برده شده اند، آیات محمول مى گویند.
عناوین مرتبط
آیات محمول مکی؛ آیات محمول مدنی.

💡 افزون بر آن كه، اگر عرف هم از عدمى بودن بعضى از صفات اطلاع يابد، به آن امور بسان امور سلبى مى نگرد و نفسى را در ضمن آن لحاظ مى كند. در اين صورت، هر چند از نظر عرف قضيه ى فلانى جاهل است موجبه ى محصله است جمله به صورت اثباتى بيان مى شود، ولى در حقيقت قضيه ى موجبه ى معدولة المحمول است كه در آن محمول به معناى نفى و عدم علم است.

💡 قضیه تعریف بیان می‌کند که یک محمول (یا تابع یا ثابت) به‌طور ضمنی قابل تعریف است اگر و تنها در صورتی که به صراحت قابل تعریف باشد. توضیح بیشتر در زیر تعریف بث ارائه شده‌است.

💡 در منطقِ جدید مفهومِ محمول کماکان وجود دارد، اما محمول‌ها و موضوع‌ها (اشیاء) از دو جنسِ کاملاً مختلف فرض می‌شوند. موضوع‌ها متغیر و محمول‌ها تابع محسوب می‌شوند از همین رو گزاره‌نما (یا تابع گزاره‌ای) نوع امروزی محمول در ریاضیات جدید است.

💡 منطق غیرکلاسیک نامی است که به سیستم‌های صوری داده می‌شود که تفاوت قابل توجهی با سیستم‌های منطقی استاندارد مانند منطق حساب گزاره‌ای و محمولی دارند. راه‌های مختلفی برای انجام این کار وجود دارد، از جمله از طریق گسترش، انحراف، و تغییرات. هدف از این انحرافات، امکان ساختن مدل‌های مختلف از پیامد منطقی و حقیقت منطقی است.

💡 نسبت سلبی عبارت است از نفی چیزی از چیزی مانند سلب محمول از موضوع، این نسبت سلبی است. شیء اول را منسوب و شیء دوم را منسوب الیه گویند و ادراک این نسبت را حکم گویند و اتحاد در نسبت را مناسبت یا تناسب گویند.