البرهان التطبيقي: هو أن تفرض من المعلول الأخير إلى غير النهاية جملةً، ومما قبله، بواحد مثلًا، إلى غير النهاية، جملة أخرى، ثم تطبق الجملتين، بأن تجعل الأول من الجملة الأولى بإزاء الأول من الجملة الثانية، والثاني بالثاني، وهلم جرَّا؛ فإن كان بإزاء كل واحد من الأولى واحد من الثانية، كان الناقص كالزائد؛ وهو محال، وإن لم يكن فقد يوجد في الأولى ما لا يوجد في إزائه شيء في الثانية، فتنقطع الثانية وتتناهى، ويلزم منه تناهي الأولى؛ لأنها لا تزيد على الثانية بقدر متناهٍ، والزائد على المتناهي بقدرٍ متناهٍ يكون متناهيًا بالضرورة.
- ArabicLexicon.Hawramani.com (formerly Lisaan.net) is a free resource created and maintained by Ikram Hawramani. Please send your comments, suggestions and corrections to contact@hawramani.com
- I pay $140/month to host my websites. If you wish to help, please use the following buttons (secure payments with PayPal and Stripe).
- New: The Quran Search Engine
A Quranic text search tool and word frequency finder for researchers. Instant auto-updating results. Normalized/abjad string matches with partial within-word lookups. Highlighting. Citations. - Use the search box at the top right to search all dictionaries. Use the quick links below to search the following selection of the top dictionaries and references on our site. Visit the home page to see the rest of the dictionaries.
- Search Lane's Arabic-English Lexicon
- Search Reinhart Dozy's Supplément aux dictionnaires arabes
- Search the Mufradāt of al-Rāghib al-Isfahānī
- Search al-Razī's Mukhtār al-Ṣiḥāḥ
- Search Ibn Manẓūr's Lisān al-ʿArab
- Search al-Sharīf al-Jurjānī's Kitāb al-Taʿrīfāt
- Search Yāqūt al-Ḥamawī's Muʿjam al-Buldān
- Search Firuzabadi's al-Qāmūs al-Muḥīṭ
- Search Haji Khalifa (Kâtip Çelebi)'s Kashf al-Ẓunūn
- Search Murtaḍa al-Zabīdī's Tāj al-ʿArūs