stanford-oval/wikipedia huggingface dataset:
مسجد حاجي شهلا
التاريخ

تم بناء مسجد حاجي شهلا في عامي 1385-1386 خلال فترة الشروانشاه على تلة مرتفعة في مقبرة قرية بالاخاني. يتكون المسجد من بوابة دخول وغرفة داخلية. فوق بوابة المدخل، يوجد نقش مكون من سطرين ينص على: أن هذا البناء يخص حاجي شهلا بن شاكر بن مصطفى كوشكين.
مراجع

↑  "GeoHack - مسجد حاجی شهلا". geohack.toolforge.org. اطلع عليه بتاريخ 2024-10-18.
↑  Щеблыкин, И.П. (1943). Памятники Азербайджанского зодчества эпохи Низами (بالروسية). Bakı: Изд-во АзФАН. p. 33. Archived from the original on 2023-11-20.
↑  "Hacı Şəhla məscidi bərpa olunub". medeniyyet.az (بالإنجليزية). Archived from the original on 2023-11-20. Retrieved 2023-11-20.
↑  "Hacı Şəhla məscidi bərpa olunub". azertag.az. AzərTac. 8 يناير 2019. مؤرشف من الأصل في 2021-02-24. اطلع عليه بتاريخ 2019-07-10.
بوابة أذربيجان
بوابة الأديان
بوابة الإسلام
بوابة عمارة
بوابة مساجد
في كومنز مواد ذات صلة بـ مسجد حاجي شهلا.
مسجد البلغار

مسجد البلغار
| 0 | 1 |
| --- | --- |
نوع المبنى:  مسجد 
المنطقة الإدارية:  قازان 
البلد:   روسيا 
| 0 | 1 |
| --- | --- |
النمط المعماري:  عقلانية 
| 0 | 1 |
| --- | --- |
الإحداثيات:  55°50′06″N 49°07′11″E﻿ / ﻿55.835042°N 49.119778°E﻿ / 55.835042; 49.119778 
ar
تعديل - تعديل مصدري - تعديل ويكي بيانات
مسجد البلغار (بالروسية: Мечеть Булгар)‏ هو مسجد في قازان، تتارستان، روسيا.
يقع المبنى في الجزء الجديد من عاصمة التتار، في منطقة نوفو سافينوفسك. تم إنشاء المسجد لإحياء الذكرى الـ 1100 لإسلام بلغار الفولغا، وافتتح في 1993. معظم أعمال البناء هي مسؤلية الإمام الأول حضرت فاروق فزانوف. ومن بعده سُميت مدرسة المسجد.
أنظر أيضا

الإسلام في جمهورية تتاريا
الإسلام في روسيا
قائمة مساجد روسيا
مراجع

↑  "Мечеть Булгар | Покажу Казань". www.kazan-guide.ru (بالروسية). Archived from the original on 2023-03-15. Retrieved 2023-03-15.
↑  The Middle East (بالإنجليزية). IC Publications Limited. 2002. p. 45. Archived from the original on 2024-04-03.
في كومنز مواد ذات صلة بـ مسجد البلغار.
بوابة الإسلام
بوابة روسيا
بوابة مساجد
أوليس ديالو

| أوليس ديالو>  معلومات شخصية   | أوليس ديالو>  معلومات شخصية   | أوليس ديالو>  معلومات شخصية   | أوليس ديالو>  معلومات شخصية   | أوليس ديالو>  معلومات شخصية   |  |
| --- | --- | --- | --- | --- | --- |
الميلاد: 26 أكتوبر 1992 (العمر 32 سنة)   باماكو  
الطول: 1.82 م (5 قدم 11 1⁄2 بوصة)
مركز اللعب: مهاجم
الجنسية:  مالي  جمهورية الكونغو  
|   معلومات النادي   |   معلومات النادي   |   معلومات النادي   |   معلومات النادي   |   معلومات النادي   |  |
النادي الحالي: بانيفيزيس
| المسيرة الاحترافية1  | المسيرة الاحترافية1  | المسيرة الاحترافية1  | المسيرة الاحترافية1  | المسيرة الاحترافية1  |  |
| سنوات | فريق | م. | (هـ.) |  |  |
| 2011–2013 | شباب الساحل  | 41 | (28) |  |  |
| 2013–2014 | فيرينتسفاروشي | 18 | (4) |  |  |
| 2014 | أروكا | 4 | (1) |  |  |
| 2015 | أكاديميكا كويمبرا | 5 | (0) |  |  |
| 2015–2016 | ماريتيمو | 6 | (0) |  |  |
| 2016–2017 | ميزوكوفيشدي | 15 | (4) |  |  |
| 2017–2018 | بوشكاش أكاديميا | 30 | (8) |  |  |
| 2019 | بودابست | 10 | (1) |  |  |
| 2019–2020 | صباح | 15 | (3) |  |  |
| 2021 | ميزوكوفيشدي | 3 | (0) |  |  |
| 2022– | بانيفيزيس | 15 | (3) |  |  |
| 1 عدد مرات الظهور مع الأندية وعدد الأهداف تحسب للدوري المحلي فقط  وهو محدث في 15 نوفمبر 2022. | 1 عدد مرات الظهور مع الأندية وعدد الأهداف تحسب للدوري المحلي فقط  وهو محدث في 15 نوفمبر 2022. | 1 عدد مرات الظهور مع الأندية وعدد الأهداف تحسب للدوري المحلي فقط  وهو محدث في 15 نوفمبر 2022. | 1 عدد مرات الظهور مع الأندية وعدد الأهداف تحسب للدوري المحلي فقط  وهو محدث في 15 نوفمبر 2022. | 1 عدد مرات الظهور مع الأندية وعدد الأهداف تحسب للدوري المحلي فقط  وهو محدث في 15 نوفمبر 2022. |  |
أوليس ديالو (بالفرنسية: Ulysse Diallo)‏ هو لاعب كرة قدم مالي وكونغولي في مركز الهجوم، ولد في 26 أكتوبر 1992 في باماكو في مالي. لعب مع أكاديميكا كويمبرا وشباب الساحل ونادي أروكا ونادي فيرينتسفاروشي ونادي ماريتيمو.
مراجع

↑  "FTC: Ulysse Diallo is bejelentette a távozását" (بالمجرية). nb1.hu. 4 يونيو 2014. Archived from the original on 2 أبريل 2015. Retrieved 11 يناير 2015.
↑  "Diallo aláírt" (بالمجرية). fradi.hu. 24 Jul 2013. Archived from the original on 2016-03-03. Retrieved 2015-01-11.
↑  "Arouca: Ulysse Diallo fechado por duas épocas" (بالبرتغالية). maisfutebol. 23 Jun 2014. Archived from the original on 2015-04-02. Retrieved 2015-01-11.
وصلات خارجية

أوليس ديالو على موقع الاتحاد الأوربي (الإنجليزية)
أوليس ديالو على موقع قاعدة بيانات كرة القدم.إي يو (الإنجليزية)
أوليس ديالو على موقع Soccerway.com (الإنجليزية)
أوليس ديالو على موقع AS.com (الإسبانية)
بوابة أعلام
بوابة الكونغو
بوابة كرة القدم
بوابة مالي
ميكروغرام

ميكروغرام
| 0 | 1 |
| --- | --- |
النوع:  وحدة كتلة — وحدة دولية مشتقة 
تستخدم لقياس:  كتلة 
رمز الوحدة:   القائمة ... μg (بالإنجليزية)  мкг (بالروسية)  مكغ (بالعربية)  мкг (بالتاراتسكييفيتسا)  μg (بالبلغارية) 
رمز يونيكود:  ㎍ 
| 0 | 1 |
| --- | --- |
إلى النظام الدولي:  1.000E-09 كيلوغرام 
الوحدة القياسية:   القائمة ... 1.000E-09 كيلوغرام  2.205E-09 رطل  3.527E-08 أونصة  1.575E-10 أستون  1.000E-12 طن  1.000E-06 غرام  5.000E-06 قيراط  0.001 ميليغرام  9.842E-13 طن بريطاني  1.102E-12 طن أمريكي  2.205E-11 short hundredweight (en)   1.968E-11 long hundredweight (en)   2.679E-09 troy pound (en)   3.215E-08 الأوقية الترويسية  6.430E-07 بينيويت  0.00001543236 grain (en)  
تعديل - تعديل مصدري - تعديل ويكي بيانات
ميكروغرام هي وحدة من كتلة تساوي جزء من مليون جزء(1/1,000,000) من غرام (1 × 10−6)، أو 1/1000 من 1 مليغرام. وهي جزء من وحدات النظام المتري، ومن أصغر الوحدات المستخدمة في مقياس المايكروسكوبية. الرمز "µg" يتوافق مع النظام الدولي للوحدات وغالبا ما يستخدم في المحاضرات العلمية، ولكن في الولايات المتحدة توصي المستشفيات بعدم استخدام هذا الرمز في الوصفات الطبية بخط اليد نظرًا لخطورة هذا الرمز μ والذي من المحتمل أن يُخطأ في قراءته على أنه مل، وهذا ما سيؤدي إلى أخذ جرعة زائدة بألف مرة.
رمز mcg - µg

المايكروغرام (Microgram) يختصر احيانًا باشارة mcg، وهو ذاته رمز "µg"، والذي يُكتب بالخطأ في بعض الاحيان "ug"، فحرف "u" هو في الأصل "µ" اليوناني والذي يعني صغير أو مايكرو، و"g" هو اختصار كلمة الغرام فيشكلان معاً مايكروغرام.
المصادر

↑  مذكور في: أنطولوجية وحدات القياس 1.8.
↑  "ISMP's List of Error-Prone Abbreviations, Symbols, and Dose Designations" (PDF). ISMP. مؤرشف من الأصل في 2018-01-27. اطلع عليه بتاريخ 2011-11-02.
↑  "List of Error-Prone Abbreviations". Institute For Safe Medication Practices (بالإنجليزية). Archived from the original on 2022-04-23. Retrieved 2022-04-25.
بوابة الفيزياء
نادي أخمات للقتال

| نادي أخمات للقتال | نادي أخمات للقتال |
| --- | --- |
تاريخ التأسيس: 2014  
المؤسس: رمضان قديروف  
الموقع الرسمي: الموقع الرسمي  
تعديل مصدري - تعديل  : تعديل مصدري - تعديل  
نادي أخمات للقتال (بالروسية: Бойцовский клуб Ахмат) هو نادي رياضي محترف من جمهورية الشيشان وله قواعد تدريب في مناطق روسيا. تأسست في عام 2014 وسميت على اسم أول رئيس لجمهورية الشيشان في روسيا – أحمد قديروف.
مفاعل سريع متكامل

النموذج الأولي للمفاعل السريع
مفاعل سريع متكامل هو تصميم لمفاعل نووي يستخدم نيوترونات سريعة ولا يوجد وسيط نيوتروني.
حيث يولد المفاعل السريع المتكامل مزيد من الوقود ويتميز بدورة وقود نووي تستخدم إعادة المعالجة عن طريق التصفية الإلكترونية في موقع المفاعل.
نبذة

بدأ تطوير مفاعل سريع متكامل في عام 1984 وبنت وزارة الطاقة الأمريكية نموذج أولي وهو المفاعل النووي التجريبي الثاني.
في 3 أبريل 1986 أظهر اختباران للسلامة لمفهوم امفاعل سريع متكامل هذه الاختبارات كانت عبارة عن محاكاة الحوادث التي تنطوي على فقدان تدفق المبرد حتى مع تعطيل أجهزة الإغلاق العادية ويقوم المفاعل بإغلاق نفسه بأمان دون زيادة الحرارة في أي مكان في النظام. تم إلغاء مشروع مفاعل سريع متكامل من قبل الكونغرس الأمريكي في عام 1994.
الزاهية

لمعانٍ أخرى، طالع الزاهية (توضيح).
| الزاهية | الزاهية |
| --- | --- |
تقسيم إداري : تقسيم إداري 
البلد:  الإمارات العربية المتحدة
إحداثيات: 24°30′02″N 54°22′42″E﻿ / ﻿24.50067°N 54.37827°E﻿ / 24.50067; 54.37827   
ar: ar
تعديل مصدري - تعديل  : تعديل مصدري - تعديل  
الزاهية، المعروفة سابقًا باسم منطقة النادي السياحي، هي منطقة تقع في وسط أبو ظبي، الإمارات العربية المتحدة.
تاريخ

الزاهية هي موقع ترفيهي يضم عدد من المطاعم والفنادق (بما في ذلك فندق شاطئ روتانا) وبارات ليلية. يقع بالقرب من مول أبو ظبي مول. وتربطها خمسة جسور بين منطقة جزيرة الماريه، المنطقة التجارية. أصبحت المنطقة تُعرف باسم "منطقة النادي السياحي" في السبعينيات. أكتمل مشروع البنية التحتية الرئيسي بقيمة 258 مليون درهم إماراتي من الطرق والجسور الجديدة وغيرها في عام 2019.
يو إف سي على إي إس بي إن: تومسون ضد هولاند

| يو إف سي على إي إس بي إن: تومسون ضد هولاند | يو إف سي على إي إس بي إن: تومسون ضد هولاند |
| --- | --- |
الجهة المنظمة: يو إف سي  
الرياضة: الفنون القتالية المختلطة  
البلد:  الولايات المتحدة  
  يو إف سي ليلة القتال: نزيتشوكو ضد كويلابا    يو إف سي 282    :   يو إف سي ليلة القتال: نزيتشوكو ضد كويلابا    يو إف سي 282    
تعديل مصدري - تعديل  : تعديل مصدري - تعديل  
يو إف سي على إي إس بي إن: طومسون ضد هولاند (بالإنجليزية: UFC on ESPN: Thompson vs. Holland)‏ هو حدث لفنون القتال المختلطة نظمته يو إف سي، أُقيم في 3 ديسمبر 2022، على مركز أمواي في أورلاندو، فلوريدا، الولايات المتحدة.
مسرح الأغواط الجهوي

مسرح الأغواط الجهوي
| 0 | 1 |
| --- | --- |
نوع المبنى:  مسرح
البلد:   الجزائر
المدينة:  الأغواط
| 0 | 1 |
| --- | --- |
الانتهاء:  2019
| 0 | 1 |
| --- | --- |
الطاقة الاستيعابية:  800
الرمز البريدي:  3000
تعديل - تعديل مصدري - تعديل ويكي بيانات
مسرح الأغواط الجهوي  من المسارح الحديثة بالجزائر ودشن عام 2021م
وصف المسرح

يضمُّ مسرح الأغواط قاعة عرض تتّسع لثمانمئة متفرّج، إضافةً إلى فضاءات مخصَّصة للورش والتدريبات أُنجزت "حسب المقاييس العالمية الخاصّة بالهياكل المسرحية"
أنظر أيضا

مسرح الجلفة الجهوي
مراجع

↑  ق، مصطفى (9 سبتمبر 2022). "بالصور.. الافتتاح الرسمي للمسرح الجهوي بالأغواط،". الحوار الجزائرية. مؤرشف من الأصل في 2022-12-31. اطلع عليه بتاريخ 2022-12-31.
↑  "المسرح الجهوي للأغواط يفتح أبوابه لأول عرض مسرحي على ركحه. | الإذاعة الثقافية". radioalgerie.dz. مؤرشف من الأصل في 2022-12-31. اطلع عليه بتاريخ 2022-12-31.
↑  naji.hadji. ""مسرح الأغواط": افتتاح بعد طول انتظار". https://www.alaraby.co.uk/. مؤرشف من الأصل في 2023-10-05. اطلع عليه بتاريخ 2022-12-31. {{استشهاد ويب}}: روابط خارجية في |موقع= (مساعدة)
بوابة الأغواط
بوابة الجزائر
بوابة تمثيل
بوابة ثقافة
بوابة فنون
بوابة مسرح
يو إف سي ليلة القتال: هولم ضد كوريا

| يو إف سي ليلة القتال: هولم ضد كوريا | يو إف سي ليلة القتال: هولم ضد كوريا |
| --- | --- |
الجهة المنظمة: يو إف سي  
الرياضة: الفنون القتالية المختلطة  
البلد:  سنغافورة  الولايات المتحدة  
  يو إف سي ليلة القتال: لويس ضد هنت    يو إف سي ليلة القتال: كييزا ضد لي    :   يو إف سي ليلة القتال: لويس ضد هنت    يو إف سي ليلة القتال: كييزا ضد لي    
تعديل مصدري - تعديل  : تعديل مصدري - تعديل  
يو إف سي ليلة القتال: هولم ضد كوريا (بالإنجليزية: UFC Fight Night: Holm vs. Correia)‏ هو حدث لفنون القتال المختلطة نظمته يو إف سي، أُقيم في 17 يونيو 2017، على ملعب سنغافورة الداخلي في كالانغ، سنغافورة.
منطق رياضي

هذه المقالة عن المنطق في الرياضيات. لالمنطق بشكل عام، طالع المنطق.
منطق رياضي
| 0 | 1 |
| --- | --- |
صنف فرعي من:  علم المنطق 
جزء من:  رياضيات Mathematical logic, set theory, lattices and universal algebra (en)  علم المنطق 
ممثلة بـ:  مكَمِّم 
يزاولها:  منطقي 
يستخدمه:  برهان رياضي 
تعديل - تعديل مصدري - تعديل ويكي بيانات
المنطق هو العلم الذي يبحث في القواعد التي تتبع في التفكير وطرق الاستدلال الصحيح. وهو بذلك أداة للتفكير لأنه يعنى بتحليل طرق التفكير وصيانته من الخطأ. والعملية المنطقية تهتم بفئة من الصيغ أو القضايا.
القضية: جملة تقوم على علاقة بين عدد من الكلمات المفهومة، وتنقسم إلى قسمين:
القضية الإخبارية: وهي تخبر عن شيء ما وتحتمل الصدق أو الكذب مثل (المثلثات المتطابقة متكافئة)، (كل ما في الكون يجذب بعضه بعضا).
القضية الإنشائية: وهي التي لا يمكن أن توصف بالصدق أو الكذب مثل لا تمش في الأرض مرحا وهي ليست قضايا منطقية.
والقضية المنطقية جملة خبرية تحتمل الصدق أو الكذب ويمكن التحقق منها فالجملة المعادن تتمدد بالحرارة جملة خبرية يمكن التحقق من صحتها بإجراء التجارب وإقرار صحة العبارة من عدمه.
والقضية مفهوم أساسي في المنطق نتعلم تصنيفها كما ورد سابقا عن طريق الخبرة مثل:
ابن تيمية صاحب كتاب رفع الملام عن الأئمة الأعلام. (خبرية)
ينزل المطر في الخريف. (خبرية)
لا تنه عن خلق وتأتي بمثله. (إنشائية)
كيف حالك؟ (إنشائية)
وما دمنا سنتحدث كثيرا عن الصدق والخطأ سنرمز لهما بالحرفين (ص) (خ).
ومن ذلك كله نقول أن القضية المنطقية تحتمل الصدق أو الكذب.
القضايا المركبة

تسمى كل من الحروف الآتية بأدوات الربط: (و) == Λ ، (أو) == Ѵ ، (لا النافية) == ~ ويمكن أن نوضح ونبين قضايا جديدة من فئة معطاة من القضايا بواسطة أدوات الربط فمثلا إذا كانت القضية (محمد طالب مجتهد) يرمز لها بالرمز (A) فإن القضية (~A) تشير إلى أن محمد ليس مجتهدا.
(A): تعني محمد مجتهد
(B): تعني محمد طالب خلوق فإن:
(A Λ B) قضية تعني: محمد طالب مجتهد ومحمد طالب خلوق.
و القضية (AѴB) تعني محمد طالب مجتهد أو محمد طالب خلوق.
وتستعمل (أو) باستعمالين متمايزين:
أو الشاملة، أو الطاردة وذلك يتضح من الشكلين الآتيين:
أو الشاملة أو المانعة
إن دراسة الفئات ذات فائدة كبيرة في كافة فروع الرياضيات وسوف نرى الآن تطبيقات هذه الدراسة في البراهين المنطقية وسوف نبدأ بملاحظة مدى فائدة قوانين الفئات وفائدة اشكال فن في تحليل البرهان أو تتبع خطوات مناقشة وانتبع ما يلي:
كل مربع مستطيل..... (1)
كل مستطيل متوازي أضلاع.... (2)
كل مربع متوازي أضلاع...... (3)
الصيغتان 1، 2 تسميان مقدمتان أو فروضا والصيغة 3 تسمى نتيجة
وهذا مثال بسيط يتضح منه انه إذا كانت النتيجة تتبع بالضرورة المقدمات المعطاة فنقول عندئذٍ إن المناقشة صالحة.
وباختصار شديد نقول إن المناقشة 1، 2، 3 لها القيمة (ص) (أي صادقة) ومثل هذه المناقشة يمكن أن توضح بأشكال فن حيث:
تشير إلى فئة كل المربعات A
تشير إلى فئة كل المستطيلات B
تشير إلى فئة كل متوازيات الأضلاع C
A وهي مجموعة جزئية من B مجموعة جزئية من C
وكثيرا ما نصادف مناقشة صالحة وتكون النتيجة غير صالحة مثل:
حلب في محافظة الجيزة
محافظة الجيزة في مصر
إذن حلب في مصر
هذه المناقشة صالحة ولكن النتيجة غير صادقة كون الفرض الأول غير صحيح.
وقد تكون الفرضيتان غير صحيحتين والنتيجة صادقة مثل:
1 = 7 غير صحيح
9 = 3 غير صحيح
وبجمع المعادلتين يكن الناتج 10 = 10 وهي نتيجة صحيحة.
وفي الرياضيات نستخدم هذا النوع من المناقشات للوصول إلى صحة بعض النظريات، خذ مثلا طريقة إثبات أن المماس للدائرة يكون عموديا على نصف القطر المار بنقطة التماس، فنحن نبدأ البرهان بفرض أن المماس ليس عموديا على نصف القطر وبالسير بالمناقشة الصحيحة نأتي إلى أن المماس يقطع الدائرة في نقطتين وبما أن النتيجة تتعارض مع تعريف المماس، ينتج أن الفرض الأساسي ليس صحيحا ويكون المماس عموديا على نصف القطر المار بنقطة التماس.
عناصر المنطق > جملة

الجملة في مجموعة حروف ورموز لها معنى، مثال:
2+3=5
5*9=45
من الممكن دراسة هذه العبارات من وجهات نظر مختلفة، مثلا المتغيرات تأخد قيما متعددة نرمز لها عادة بـ" X "، أو «س» بالعربية. كما يمكن دراسة صحة أو خطأ العبارة.
عناصر المنطق > عبارة

تصبح إذا أمكن معرفة صحة أو خطأ العبارة
نسمي عبارة كل نص رياضي له معنى ويكون إما صحيحا وإما خاطئا أما الدالة العبرية (خاصية لمتغير) فهي كل نص رياضي له معنى ويحتوي على متغير ويصبح عبارة كلما عوضنا المتغير بقيمة معينة
جًمل منطقية [الجمل الفعلية مفيدة]
يمكن الحكم عليها بالصح أوالخطأ وليس كلاهما
القضية المنطقية { تعريف}
هي جملة خبرية مفيدة يحتمل معناها الصواب أو الخطأ وليس كلاهما
من أمثلة الجمل التي تكون قضايا
2+3=5
صنعاء عاصمة اليمن
مجموع زوايا المثلث 180 ْ
ليس من الضروري أن تكون الجملة صحيحة جًمل ليست منطقية [الجمل الاسمية] والتي لا يمكن الحكم عليها بالصح أوالخطأ
من أمثلة الجمل التي لا تكون قضايا الجمل التي تيدأ
أستفهام – سؤال – تعجب – نداء – طلب...
بصورة عامة كل الجمل التي لا يمكن الحكم عليها بالصح أوالخطأ
مثل:
ما أجمل السماء !
كم الساعة؟
عناصر المنطق > النفي

نفي العبارة P هو عبارة صحيحة إذا كانت P خاطئة، وخاطئة إذا كانت P صحيحة. ونرمز لنفي P ب  \neg P.
| 0 | 1 |
| --- | --- |
P:  \neg P
0: 1
1: 0
عناصر المنطق > العطف

عطف العبارتين p و Q يكون صحيحا فقط إذا كانت العبارتان معا صحيحتين. ونرمز له ب  P\wedge Q
| 0 | 1 | 2 |
| --- | --- | --- |
| P | Q |  P\wedge Q |
0: 0
| 0 | 1 | 0 |
1: 0
1: 1
عناصر المنطق > الفصل

فصل العبارتين p أو Q يكون صحيحا فقط إذا كانت إحدى العبارتين صحيحة أو كلاهما ونرمز له ب  P\vee Q
| 0 | 1 | 2 |
| --- | --- | --- |
| P | Q |  P\vee Q |
0: 0
0: 1
| 1 | 0 | 1 |
1: 1
عناصر المنطق > الاستلزام

تكون العبارة P تستلزم Q، خاطئة فقط إذا كانت P صحيحة و Q خاطئة.
و نرمز لها ب:
 Q\Leftarrow P وهي تكافئ العبارة:  \neg P\vee Q.
| 0 | 1 | 2 |
| --- | --- | --- |
| P | Q |  Q\Leftarrow P |
| 0 | 0 | 1 |
0: 1
1: 0
1: 1
عناصر المنطق > التكافؤ

تكافؤ العبارتين  P\, و Q\, هو  (Q\Leftarrow P)\wedge (P\Leftarrow Q), ونرمز له ب:  Q\Leftrightarrow P ويكون صحيحا إذا كانت P و Q خاطئتين أو صحيحتين معا
| 0 | 1 | 2 |
| --- | --- | --- |
| P | Q |  Q\Leftrightarrow P |
| 0 | 0 | 1 |
| 0 | 1 | 0 |
1: 0
1: 1
القوانين المنطقية

القوانين المنطقية عبارة عن جمل مكونة من عدة عبارات مرتبطة فيما بينها بروابط منطقية وتكون دائما صحيحة بغض النظر عن صحة أو خطأ العبارات المكونة لها.
أمثلة:
\neg (\neg P)\Leftrightarrow P
(P\wedge Q)\Leftrightarrow (Q\wedge P)
\neg (P\wedge Q)\Leftrightarrow (\neg P)\vee (\neg Q)
\neg (P\vee Q)\Leftrightarrow (\neg P)\wedge (\neg Q)
المثالين الأخيرين، يعرفان بقوانين دي مورغان [De Morgan's laws].
القوانين المنطقية > دوال العبارة

دالة العبارة، هي تطبيق من مجموعة قيم المتغيرات نحو مجموعة مكونة من العنصرين صحيح وخطأ.
مثال:
بالنسبة للعبارة: «x عدد صحيح طبيعي، x+3=10.» نحصل على دالة من  \mathbb {N} \  إلى  \{0,1\}\, بحيث:
{\begin{matrix}\mathbb {N} \ \rightarrow \{0,1\}\\0\mapsto 0\\7\mapsto 1\end{matrix}}
القوانين المنطقية > المكممات

طالع أيضًا: مكمم
هناك نوعان وجودية وكونية.
الوجودية تعني وجود عناصر تحقق عبارة ما، مثل يوجد x من  \mathbb {N} \  بحيث:  x^{2}-1=0\,
نرمز للوجودية بالرمز  \exists .
الكونية تعني أن عبارة ما تكون دائما صحيحة مهما تغيرت قيمة المتغير، مثل مهما كانت قيمة x من  \mathbb {R} \  لدينا  (x+1)^{2}=x^{2}+2x+1\,
نرمز للكونية بالرمز
 \forall .
المكممات والروابط المنطقية

عندما يكون هناك وجوديات، النفي يعبر عنه ب:
\neg [(\forall x\in \ E)A(x)]\Leftrightarrow [(\exists x\in \ E)\neg A(x)]
\neg [(\exists x\in \ E)A(x)]\Leftrightarrow [(\forall x\in \ E)\neg A(x)]
مع E مجموعة تتضمن الخاصية A.
المكممات والروابط المنطقية > تطبيق على نظرية المجموعات

هناك علاقة بين نظرية المجموعات والمنطق.
المكممات والروابط المنطقية > الاستلزام والتضمن

نسمي جزء A(أو مجموعة صغرى) لمجموعة E كل عناصر المجموعة A التي تنتمي إلى E.
و نكتب:
A\subset E
نقول أن المجموعة A ضمن المجموعة E, يكافئ أن كل عنصر x من A, يستلزم أن xينتمي إلى E.
==مجموعة الأجزاء== ويكتب المنطق ب7888
مجموعة الأجزاء

كل مجموعة لها عدة أجزاء، وهذه الأجزاء تكون مجموعة الأجزاء.
مجموعة الأجزاء > التساوي والتكافؤ

المجموعة A تساوي المجموعة B, تكافئ لكل x من x :E من A يكافئ x من B.
المتمم والنفي

متمم الجزء A, هو الجزء B الذي عناصره لا تنتمي إلى A.
علق حاتم على هذه فقال:
المتممة أمر نسبي
قبل أن نتكلم عن متممة مجموعة نحتاج إلى أن نتفق على ما يسمى «المجموعة الشاملة»
مثال
إذا كانت
المجموعة الشاملة = ش
ش = { 1،9، 5، 3، 2 }
أ = { 1، 9 }
متمم أ هو ب
ب = { 5، 3، 2 }
لا حظ عناصر ب لا تنتمي إلى أ
x ينتمي إلى A, يكافئ x لا ينتمي إلى B.
التقاطع والعطف

تقاطع المجموعتين A و B, هي مجموعة العناصر المشتركة C, التي نرمز لها ب:  A\cap B\,.
x من C يكافئ: x من A و x من B.
التقاطع والعطف > الاتحاد والفصل

اتحاد المجموعتين A و B, هي المجموعة C التي عناصرها تنتمي إلى أحد المجموعتين، والتي نرمز لها ب:  A\cup B.
x من C يكافئ: x من A أو x من B.
=خاصيات عطف التقاطع والاتحاد في مجموعة الأجزاء=
الفرق

ِA-B هي المجموعة التي تحوي كل العناصر التي تنتمي لـ A ولا تنتمي لـ B
 A-B=\{a:(a\in \ A)\wedge (a\notin \ B)\}
الفرق > الفرق المتماثل

↑  "معلومات عن منطق رياضي على موقع psh.techlib.cz". psh.techlib.cz. مؤرشف من الأصل في 2019-12-14.
↑  "معلومات عن منطق رياضي على موقع thes.bncf.firenze.sbn.it". thes.bncf.firenze.sbn.it. مؤرشف من الأصل في 2019-12-14.
↑  "معلومات عن منطق رياضي على موقع esu.com.ua". esu.com.ua. مؤرشف من الأصل في 2019-12-14.
الفرق > تطبيق في البرهنة الرياضية

برهنة:  A\cap (B\cup C)=(A\cap B)\cup (A\cap C)
لكي نبرهن تساوي بين مجموعتين A و B يجب أن نبرهن لكل عنصر x:
x ينتمي لـ A إذا وفقط إذا x ينتمي لـ B
في هذه الحالة علينا أن نبرهن:
x\in (A\cap (B\cup C))\Leftrightarrow x\in ((A\cap B)\cup (A\cap C))
برهان:
x\in (A\cap (B\cup C)){\overset {1}{\Leftrightarrow }}
(x\in A)\land (x\in (B\cup C)){\overset {2}{\Leftrightarrow }}
(x\in A)\land ((x\in B)\lor (x\in C)){\overset {3}{\Leftrightarrow }}
((x\in A)\land (x\in B))\lor ((x\in A)\land (x\in C)){\overset {4}{\Leftrightarrow }}
(x\in (A\cap B))\lor (x\in (A\cap C)){\overset {5}{\Leftrightarrow }}
x\in ((A\cap B)\cup (A\cap C))
شرح الخطوات:
1 و4- حسب تعريف التقاطع
 x\in (A\cap B)\Leftrightarrow (x\in A)\land (x\in B)
2 و5- حسب تعريف الاتحاد
 x\in (A\cup B)\Leftrightarrow (x\in A)\lor (x\in B)
3-
نبرهن:  (x\in A)\land ((x\in B)\lor (x\in C))=((x\in A)\land (x\in B))\lor ((x\in A)\land (x\in C))
بواسطة جداول الحقيقة التابعة لـ  \land  و \lor
| 0 | 1 | 2 | 3 | 4 |
| --- | --- | --- | --- | --- |
|  (x\in A) |  (x\in B) |  (x\in C) |  (x\in B)\lor (x\in C) |  (x\in A)\land ((x\in B)\lor (x\in C)) |
0: 0
1: 0
| 0 | 1 | 0 | 1 | 0 |
| 1 | 1 | 0 | 1 | 1 |
| 0 | 0 | 1 | 1 | 0 |
| 1 | 0 | 1 | 1 | 1 |
| 0 | 1 | 1 | 1 | 0 |
1: 1
| 0 | 1 | 2 | 3 | 4 | 5 |
| --- | --- | --- | --- | --- | --- |
|  (x\in A) |  (x\in B) |  (x\in C) |  (x\in A)\land (x\in B) |  (x\in A)\land (x\in C) |  ((x\in A)\land (x\in B))\lor ((x\in A)\land (x\in C)) |
0: 0
1: 0
| 0 | 1 | 0 | 0 | 0 | 0 |
| 1 | 1 | 0 | 1 | 0 | 1 |
| 0 | 0 | 1 | 0 | 0 | 0 |
| 1 | 0 | 1 | 0 | 1 | 1 |
| 0 | 1 | 1 | 0 | 0 | 0 |
1: 1
الجدولان متساويان لذلك العبارتان متكافئتان
الفرق > المنطق الرياضي والدوائر الكهربية

بمكن تحويل كل جمل المنطق الرياضي إلى دوائر كهربية تستخدم في الحاسب الآلي لإجراء العمليات الحسابية والمنطقية ويمكن الاطلاع على تفاصيل ذلك هنا لمزيد من المعلومات.
الفرق > المنطق الرياضي والبرمجة

يفيد فهم المنطق الرياضي في إجراء عمليات البرمجة المعقدة والتي تحوي الجمل الشرطية المتداخلة اللازمة لتحقيق هدف معين أو حل مشكلة محددة بواسطة البرنامج.
هاشم الحكيم

هاشم الحكيم (1309ه -1374ه)، عالم دين شيعي، ولد ببنت جبيل من قرى جبل عامل في لبنان.
حياته

درس العلوم الدينية في مسقط رأسه، ثمّ سافر إلى النجف لإكمال دراسته الحوزوية، واستمرّ في دراسته حتّى عُدّ من العلماء، عاد إلى لبنان واستقرّ بها حتّى وافاه الأجل، مشغولاً بالتدريس والتأليف وأداء واجباته الدينية.
من أساتذته: حسين الخليلي، محمّد كاظم اليزدي، عبد الهادي شليلة، أحمد كاشف الغطاء، علي الشيخ باقر الجواهري. أما تلاميذه: فمنهم: ابن أُخته السيد محمّد علي الحكيم، ابن أخيه السيد يوسف الحكيم ولده السيد عبد الصاحب الحكيم.
حياته الخاصة

له أربعة أبناء: الخطيب العلامة السيد علي الحكيم في جبل عامل (1927-2024)، الأستاذ والشاعر الأديب السيد مهدي الحكيم في جبل عامل (1933-2018)، العلامة الحجة السيد عبد الصاحب الحكيم في النجف الأشرف (1935-2013) السيد عبد الحسين الحكيم توفي في شبابه
مؤلفاته

العقد الثمين في المأثور عن سيّد المرسلين.
منتقى الأخبار
شذور الجواهر
وفاته

توفي في 25 فبراير 1955م الموافق 5 رجب 1374هـ ببنت جبيل، ودُفن بجوار قبر خاله الشيخ موسى شرارة في بنت جبيل.
معرض صور

السيد عبد الحسين شرف الدين وعن يساره السيد هاشم الحكيم وعن يمينه السيد محسن الحكيم
السيد عبد الحسين شرف الدين وعن يساره السيد هاشم الحكيم
قبر السيد هاشم الحكيم بعد تجديده
القبة المبنية فوق ضريح السيد هاشم الحكيم
مراجع

1 2  "السيد هاشم الحكيم". الشیعة. 7 فبراير 2018. مؤرشف من الأصل في 2022-07-04. اطلع عليه بتاريخ 2023-02-19.
1 2  "الجامعة الإسلامية". uofislam.net. مؤرشف من الأصل في 2016-08-05. اطلع عليه بتاريخ 2023-02-19.
بوابة أعلام
بوابة الإسلام
بوابة الشيعة
بوابة لبنان
يو إف سي على إي إس بي إن: سانتوس ضد هيل

| يو إف سي على إي إس بي إن: سانتوس ضد هيل | يو إف سي على إي إس بي إن: سانتوس ضد هيل |
| --- | --- |
الجهة المنظمة: يو إف سي  
الرياضة: الفنون القتالية المختلطة  
البلد:  الولايات المتحدة  
  يو إف سي 277    يو إف سي على إي إس بي إن: فيرا ضد كروز    :   يو إف سي 277    يو إف سي على إي إس بي إن: فيرا ضد كروز    
تعديل مصدري - تعديل  : تعديل مصدري - تعديل  
يو إف سي على إي إس بي إن: سانتوس ضد هيل (بالإنجليزية: UFC on ESPN: Santos vs. Hill)‏ (المعروف أيضًا باسم يو إف سي على إي إس بي إن 40 ويو إف سي فيغاس 59) هو حدث لفنون القتال المختلطة نظمته يو إف سي، وأُقيم في 6 أغسطس 2022، على يو إف سي أبيكس في إنتربرايز، نيفادا، وهي جزء من منطقة لاس فيغاس الحضرية، الولايات المتحدة.
كأس شتاء فيرسليجاس

| 0 | 1 |
| --- | --- |
أسست: 2013
ألغيت: 2018
المنطقة:  Latvia
البطل الأخير: نادي سكونتو and نادي آر إف إس (2 titles)
أكثر الأندية نجاحاً: Skonto FC and FK RFS (2 titles)
الموقع: 
كأس شتاء فيرسليجاس Virsligas Winter Cup (لاتفيا: كأس الدوري الممتاز الشتائي) كان كأس الدوري لكرة القدم لاتفيا. بدأ سنة 2013 وانتهى بعد مسابقة 2018.
قائمة النهائيات

نتائج النهائيات
| السنة | الفائز | الوصيف | النتيجة |
| --- | --- | --- | --- |
| 2013 | نادي داوغافا | نادي فنتسبيلس | 3–0 |
| 2014 | نادي سكونتو | نادي يلغافا | 3–2 |
| 2015 | نادي سكونتو | نادي ليبايا | 3–1 |
| 2016 | نادي ليبايا | نادي فنتسبيلس | 1–0 |
| 2017 | نادي آر إف إس | نادي ليبايا | n/a |
| 2018 | نادي آر إف إس | نادي سبارتاكس يورمالا | 2–2 (5–4 pso) |