قفل
قضیهٔ حملیه الحَمْلِيَّة
خانهتصدیقات · قضایا · 2 از 10
قضیهٔ حملیه
al-ḥamliyya
الحَمْلِيَّة
حکم می‌کند که چیزی چیز دیگری هست، یا نیست.
توضیح
جزء نخست آن و جزء دوم آن است: در «زید نویسنده است»، زید موضوع و نویسنده محمول است.
به این صورت هم نوشته می‌شود: حملیه, قضیه حملیه.
در متن
وَهِيَ إِمَّا حَمْلِيَّةٌ كَقَوْلِنَا: زَيْدٌ كَاتِبٌ، وَإِمَّا شَرْطِيَّةٌ مُتَّصِلَةٌ كَقَوْلِنَا: إِنْ كَانَتِ الشَّمْسُ طَالِعَةً فَالنَّهَارُ مَوْجُودٌ، وَإِمَّا شَرْطِيَّةٌ مُنْفَصِلَةٌ كَقَوْلِنَا: الْعَدَدُ إِمَّا أَنْ يَكُونَ زَوْجًا أَوْ فَرْدًا.قضیه یا حملیه است، مانند «زید نویسنده است»؛ یا شرطیهٔ متصله، مانند «اگر خورشید طلوع کرده باشد، روز است»؛ یا شرطیهٔ منفصله، مانند «عدد یا زوج است یا فرد».أَوْ مِنْ حَمْلِيَّةٍ وَمُتَّصِلَةٍ، كَقَوْلِنَا: كُلَّمَا كَانَ هَذَا إِنْسَانًا فَهُوَ حَيَوَانٌ، وَكُلُّ حَيَوَانٍ جِسْمٌ، يُنْتِجُ: كُلَّمَا كَانَ هَذَا إِنْسَانًا فَهُوَ جِسْمٌ؛یا از یک حملیه و یک متصله، مانند «هرگاه این انسان باشد، حیوان است؛ و هر حیوانی جسم است»، که نتیجه می‌دهد «هرگاه این انسان باشد، جسم است»؛وَإِمَّا مِنْ حَمْلِيَّةٍ وَمُنْفَصِلَةٍ، كَقَوْلِنَا: كُلُّ عَدَدٍ إِمَّا زَوْجٌ أَوْ فَرْدٌ، وَكُلُّ زَوْجٍ فَهُوَ مُنْقَسِمٌ بِمُتَسَاوِيَيْنِ، يُنْتِجُ: كُلُّ عَدَدٍ إِمَّا فَرْدٌ أَوْ مُنْقَسِمٌ بِمُتَسَاوِيَيْنِ؛یا از یک حملیه و یک منفصله، مانند «هر عددی یا زوج است یا فرد، و هر عدد زوجی به دو جزء برابر تقسیم می‌شود»، که نتیجه می‌دهد «هر عددی یا فرد است یا به دو جزء برابر تقسیم می‌شود»؛مثال‌ها
- زَيْدٌ كَاتِبٌزید نویسنده است
اصطلاحات مرتبط
تمرین
خودتان را در قضایا بیازمایید.
رفتن به تمرین · 8 پرسشخودت را بیازما
3 پرسش. با ۶ از ۱۰ یا بیشتر (دو ستاره) اصطلاح بعدی باز می‌شود.
پرسش 1
قضیهٔ حملیه چه می‌کند؟
حکم است: چیزی را برای چیز دیگری اثبات یا از آن نفی می‌کند، مانند «زید نویسنده است».
پرسش 2
کدام‌یک از این‌ها قضیهٔ حملیه است؟
«هیچ سنگی حیوان نیست» چیزی را از چیز دیگری نفی می‌کند، پس است. «حیوان ناطق» عبارتی بیحکم است، و پرسش هیچ حکمی نمیکند.
پرسش 3
در مثال ابهری، «زید نویسنده است»، «زید» چیست؟
زَيْدٌ كَاتِبٌ
جزء نخست و جزء دوم آن است: «زید» موضوع است و «نویسنده» محمول.
بعدی: موضوع المَوْضُوع
ادامه ←