نتائج البحث

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

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

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

...y=nid=4052053-5 | تاريخ أرشيف = 14 مايو 2021 }}</ref> يقابله [[منطق تسلسلي|المنطق التسلسلي]] والذي تعتمد مخرجاته على المدخلات السابقة بالإضافة إلى المدخلات ا ...ير]] و[[وحدة فك ترميز ثنائية|وحدات فك التشفير]] يتم تصنيعها أيضًا باستخدام المنطق التجميعي. ...

...كتب الفيلسوف وعالم المنطق الأمريكي [[أيرفن مارمر كوبي]] في كتابه (مقدمة في المنطق ص95) مايلي: {{شريط بوابات|فلسفة}} ...

{{شريط بوابات|رياضيات|فلسفة|منطق}} [[تصنيف:فلسفة المنطق]] ...

{{ميز|مسلمة (فلسفة)}} في [[رياضيات|الرياضيات]] و[[منطق رياضي|المنطق الرياضي]]، '''التوطئة'''<ref>{{استشهاد بويكي بيانات|Q108593221|صفحة=400}}</ ...

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

...مستخدمة في صياغة [[حساب القضايا|القضايا الرياضية]] في [[منطق الرتبة الأولى|المنطق الإسنادي]]، '''التكميمات''' أو '''التسويرات''' {{إنج|Quantifications}}. يطل ...كذلك: <math>\exists x\, \neg P(x)</math> في المنطق الكلاسيكي، ولكن ليس في المنطق الحدسي. ...

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

'''التكافؤ المنطقي''' في علم [[منطق رياضي|المنطق]] الرياضياتي هو تكافؤ عبارتين أو افتراضين عندما يتشاركان في المحتوى أو المع {{شريط بوابات|فلسفة|علم النفس|تفكير|رياضيات|منطق}} ...

...الحرف المرسل)''' {{إنج|Propositional variable}} هو مُتغير في [[منطق رياضي|المنطق الرياضي]]، وهو متغير إدخال (يمكن أن يكون صحيحًا أو خاطئاَ). المتغيرات المقت من خلال هذا الاقتراح، يمكن بناء جميع صيغ المنطق الافتراضي من المتغيرات الافتراضية كوحدة أساسية. لا ينبغي الخلط بين المتغيرا ...

...ي|أُثبِتت]] صِحتّه بناءً على مُسلّمات [[علم]]ية أو [[رياضيات|رياضية]] أو [[المنطق|منطقية]]. تُعرَفُ المبرهنةُ في الرياضيات على أنّها الأساس للاستنتاج والحقائ المبرهنة الرياضية قانون صحيح دائما، يتم البرهنة على صحته، بواسطة التحليل المنطق، انطلاقا من مسلمات ومبرهنات أخرى. ...

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

في المنطق، بناء الجملة هو أي شيء له علاقة باللغات الرسمية أو الأنظمة الرسمية دون النظ ...ت)|التعبيرات]] جيدة التكوين في [[لغة برمجة|لغة البرمجة]] . كما هو الحال في المنطق الرياضي، فهو مستقل عن الدلالات والتفسير. ...

...ابة المنطق|البوابة الرقمية]] شبكة تحتوي على الدوائر التي لا تؤثر على وظيفة المنطق ثابتة. وهناك عدة أسباب لوجود '''منطق التكرار'''. [[ملف:K-map 6,8,9,10,11,12,13,14.svg|تصغير|A ك-خريطة تبين وظيفة المنطق معينة]] ...

'''المنطق الضبابي<ref>{{استشهاد بويكي بيانات|Q111421033|صفحة=71}}</ref>''' أو '''العا | مسار = http://www.arab-ency.com/detail/10874/المنطق ...

...المزدوج، واللذان يعدان من [[قاعدة الاستدلال|قواعد الاستدلال]] الأساسية في المنطق الكلاسيكي.<ref>{{استشهاد بدورية محكمة|عنوان=LK, LJ, Dual Intuitionistic Log ...لة لفهم حقائق الرياضيات وأسسها.<ref>{{استشهاد بكتاب|مؤلف=يمنى الخولي|عنوان=فلسفة العلم في القرن العشرين|تاريخ=2000|ناشر=سلسلة عالم المعرفة- الكويت|سنة=2000| ...

...اريخ أرشيف=2017-04-09 |حالة المسار=live}}</ref> من هذا المنطلق فهي ترتبط [[فلسفة|بالفلسفة]] و[[رياضيات|الرياضيات]] و[[إلهيات|الإلهيات]] والحياة اليومية أيضً ...الإيلي|زينون من إيليا]]) وتعود في قدمها إلى القرن الرابع قبل الميلاد، أي [[فلسفة ما قبل سقراط]]. بالمقابل، فإن [[الحضارة الهلنستية|الهلنستيين]] فضلوا تمييز ...

...ل لأنها حقيقية، ولا يمكن للملحد أن يبرر معيارية التفكير المطلقة مثل قوانين المنطق، وأن يعلل كيف يطابق الكون المادي قانون فكري غير مادي، وهذا الأمر استثمره [[ ...تتميز أيضًا عن ال[[استنباط]] و[[استقراء (توضيح)|استقراء]] من [[فلسفة العقل|المنطق]]. عندما تبحث وسيطة استنتاجية قياسية عن ما يمكننا استنتاجه من حقيقة <math>X ...