نتائج البحث

...مع مسند المساواة (المكتوب عادةً '=') على أنه ثابت منطقي في العديد من أنظمة المنطق. ...هو الثابت المنطقي؟". أي ما هي السمة الخاصة لبعض الثوابت التي تجعلها منطقية في طبيعتها؟ ...

{{عن|التضمين في المنطق||تضمين (توضيح)}} ...فتراضات]] تكون صحيحة عندما تلي كل خطوة التالية بتسلسل منطقي. إن مدى [[صحة (المنطق)|صحّة]] أي [[حجة (منطق)|حجة]] منطقية يكون إذا أمكن وجود [[تال (منطق)|تالٍ]] ...

'''قابلية الإرضاء''' تعبير في [[رياضيات|الرياضيات]] وفي [[نظرية التعقيد الحسابي]] ذو أهمية كبيرة جدا.<ref ...خطأ 0 1 لا نعم موزعة على أقواس وتستعمل العمليات المنطقية عطف وفصل ونفي كما في هذا المثال: <math>(a\lor \lnot b\lor c)\wedge(a\lor b\lor\lnot d)\wedge(a\l ...

...أو خاطئاَ). المتغيرات المقترحة هي العناصر الأساسية للصيغ المقترحة وتستخدم في منطق الافتراض و{{وإو|منطق الترتيب الأعلى|Higher-order logic}}. في اقتراح منطقي معين يمكن تعريف الصيغة على النحو التالي: ...

...عنوية ، التعريفات الرياضية ، المبرهانات ، الخوازميات وغيرها ) ،وتدعى أيضاً مفاهيم ميتا-رياضية ،مع إعتبار الجوانب الفلسفية والوحدة الرياضية لهذه المفاهيم والت إن البحث عن أسس للرياضيات هو إحدى الأسئلة الرئيسية جدا في فلسفة الرياضيات ، كما أن الطبيعة المجردة للمفاهيم الرياضية تمثل تحدياً فلسف ...

...[[تضمين (توضيح)|متضمنة]] بشكل منطقي بواسطة مقدماتها المنطقية وكانت كل خطوة في المناقشة منطقية. وتكون صيغة صحيحة فقط إذا كانت صحيحة وفق كل تفسير، وتكون صي ...(توضيح)|تتضمن]] صحة نتيجتها وكانت كل خطوة أو مناقشة فرعية أو عملية منطقية في المناقشة صحيحة. وفي مثل هذه الظروف سيكون من المناقض للذات أن نؤكد على المقد ...

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

...ات [[علم]]ية أو [[رياضيات|رياضية]] أو [[المنطق|منطقية]]. تُعرَفُ المبرهنةُ في الرياضيات على أنّها الأساس للاستنتاج والحقائق الرياضية.<ref>However, both t ...عبارة رياضية صحيحة عند تحقق الشروط المذكورة. ومع ان البرهان الرياضي ضروري في حال المبرهنات فإنه لا يعد جزءا من المبرهنة. ...

...nity}} تدل على «ما لا حدود له» أو «اللامنتهي» أو «غير المحدود» تستخدم بعدة مفاهيم مختلفة لكن يجمع بينها جميعًا فكرة واحدة هي «عدم وجود نهاية».<ref>[http://ww ...ليس]] سنة [[1655]] في مؤلَّفيه: الأوّل '''De Sectionibus Conicis''' وبعدها في '''Arithmetica Infinitorum'''. ...

...افي]]. كلاهما على حد سواء اشتهرا بحججه مع [[إسحاق نيوتن|نيوتن]] و[[كلارك]] في مراسلات بين ليبنز وكلارك. ...ي x (غالباً تعتبر فرضية جيدة). ونتيجة لذلك، هناك عدة نصوص مختلفة من المبدأ في الكتابات الفلسفية، متفاوتة من حيث قوتها المنطقية – بعضها يدعى 'مبدأ قوي' أو ...

'''المجموعة''' أو '''الفئة''' {{إنج|Set}} هي مفهوم أساسي في جميع فروع الرياضيات، ويعتبر مفهوم المجموعة من المفاهيم الأولية التي لا تُعر كما تستخدم في وصف المجموعات أيضاَ الصورة ...

...يز «عالم الكتل» باعتباره مجموعة من القواعد حول تكديس الكتل مع بعضها البعض. في نظام منطق الرتبة الأولى، يلزم وجود مسلمات إضافية من أجل توفير الاستنتاجات ا ...ثل كيفية تقديم الادعاءات الافتراضية العقلانية وما يعتبره البشر الحس السليم في البيئة الافتراضية.<ref>{{استشهاد بدورية محكمة|عنوان=Some philosophical prob ...

...> غالبًا ما تتم الإشارة إلى ذلك في [[أنسلم من كانتربري|أنسيلم كانتربري]] : في عبارته "لأن الله لا يفعل شيئًا بدون سبب" وصياغة [[حجة أنطولوجية|الحجة الوجو ...حة داخل النظام يجب أن تكون [[استنباط|قابلة للاستدلال]] من مجموعة البديهيات في قاعدة البناء (أي أنها تنشأ بالضرورة إذا افترضنا أن بديهيات النظام صحيحة).وم ...

...)|والتكامل]] [[علاقة ثنائية|وعلاقات]] [[تساوي (رياضيات)|المساواة]] والتضمن في المجموعات. كما أنه يوفر إجراءات منهجية لتقييم التعبيرات، وإجراء الحسابات، ا ...رب|والضرب]] الحسابيين لهما خصائص التبادل والترابط ، فكذلك الأتحاد والتقاطع في المجموعات؛ وكما أن العلاقة الحسابية "أقل من أو يساوي" [[علاقة انعكاسية|انعك ...

...الموضوع الرئيسي لمجال [[نظرية]] الحاسوبية في المنطق الرياضي ونظرية الحساب في [[علم الحاسوب|علوم الحاسوب]]. حاسوبية المشكلة ترتبط بشدة بوجود [[خوارزمية]] ...ية التشغيل الذاتي، بينما مفاهيم الحاسوبية الأقوى من آلات تورنغ تتم دراستهم في مجال الحساب الأعلى. ...

...أن [[فلوريان كاجوري|كاجوري]] قال: «إن العقل ليدهش عندما يرى ما عمله العرب في الجبر..» ...jpg|تصغير|شمال|300بك|[[كتاب المختصر في حساب الجبر والمقابلة|الكتاب المختصر في حساب الجبر والمقابلة]] [[محمد بن موسى الخوارزمي|للخوارزمي]]، أحد صفحات الكت ...

...ming.com/knuthweb.pdf|تاريخ أرشيف=2023-07-16}}</ref> يتم استخدام هذا النهج في [[حوسبة علمية|الحوسبة العلمية]] وفي [[علم البيانات]] بشكل روتيني للبحث [[تن ...ي تمنح [[مبرمج|المبرمجين]] وحدات ماكرو لتطوير البرامج بالترتيب الذي يتطلبه المنطق وتدفق أفكارهم. <ref>"I had the feeling that top-down and bottom-up were opp ...

...ة كبديل للتحكم في الحركة المعتاد، ولكنه يستخدم عادة بطريقة تكميلية، في شكل مفاهيم التحكم الهجين. عادةً ما يتم قياس القوة المؤثرة للتحكم عبر [[آلة الفائدة الم ...مهام الاتصال التي تعمل على معالجة قطع العمل ميكانيكيًا، ولكنه يستخدم أيضًا في [[طب إلكتروني|التطبيب عن بعد]] و[[روبوت]] الخدمة ومسح الأسطح. ...

...ها "آلة حساب". لا يهم ترتيب (أو موضع) القيمتين (أو المتحولين) ''x'' و''y'' في العملية الرياضية طالما أن النتيجة النهائية تبقى هي نفسها.]] ...QC&pg=PA4 | تاريخ أرشيف = 14 يونيو 2019 }}</ref> وهي إحدى الخصائص الأساسية في العديد من فروع الرياضيات. ...

...[النسبية الخاصة|النسبية]] مثل السبب وراء التباين الذي يراه مراقبون مختلفون في زمن ومكان وقوع حدث ما. ...انت مستقلة عن البعد الزمني الواحد. ولكن بنى [[ألبرت أينشتاين]] عمله المؤثر في [[النسبية الخاصة]] عام 1905 على فرضيتين: ...