‪‪ ‬ 
تدوينـــات  -  رمـــوز  -  طب وصحة -  موسوعـــة
إذا وفقط إذا عبارة منطقية تدل على التكافؤ بين قضيتين، بحيث تكون كل واحدة شرطاً لازماً وكافياً للأخرى. تستخدم في الرياضيات والمنطق لإثبات أن عبارة ما صحيحة في الاتجاهين، لا في اتجاه واحد فقط. يرمز لها غالباً بعلامة التكافؤ، وتظهر في التعريفات والنظريات التي تتطلب مطابقة دقيقة بين شرط ونتيجة. تمثل العبارة أداة لغوية ومنطقية لضبط البرهان ومنع الالتباس بين الشرط الكافي والشرط اللازم.
المصدر: موسوعة المعرفة
تم نسخ الرابط
من الموسوعــة
الترتيبية علاقة رياضية أو منطقية تحدد ترتيب العناصر داخل مجموعة وفق قاعدة معينة. قد تكون العلاقة كلية إذا أمكن مقارنة كل عنصرين، أو جزئية إذا بقيت بعض العناصر غير قابلة للمقارنة. تستعمل الترتيبية في الرياضيات والمنطق وعلوم الحاسوب لوصف الترتيب في الأعداد والمجموعات والهياكل والبيانات. يساعد هذا المفهوم على بناء مفاهيم مثل الحدود، والتسلسل، والشبكات، والخوارزميات التي تعتمد على الفرز والمقارنة.
الاحتكام إلى الجدة مغالطة منطقية تقوم على افتراض أن الشيء الأحدث أفضل لمجرد حداثته. تظهر هذه المغالطة عندما يربط الشخص بين التقدم الزمني والتحسن الضروري، مع أن المنتج أو الفكرة الجديدة قد لا تكون أفضل من القديمة، ويقابلها في الاتجاه المعاكس الاحتكام إلى التقليد الذي يفضل الشيء القديم لمجرد قدمه.
برولوج لغة برمجة منطقية صممت لجعل البرمجة قائمة على الحقائق والقواعد والاستفسارات بدلاً من سلسلة أوامر تقليدية. نشأت في سياق البحث في معالجة اللغات الطبيعية والذكاء الاصطناعي، ويعكس اسمها الأصل الفرنسي لعبارة البرمجة المنطقية. يقوم البرنامج في برولوج على قاعدة معرفة تحتوي حقائق وقواعد، ثم يطرح المستخدم استفسارات يستنتج النظام إجاباتها عبر المطابقة والاستدلال. تختلف متغيراتها وعناصرها عن لغات البرمجة الإجرائية، فهي لا تمثل أماكن تخزين تقليدية بقدر ما تمثل قيوداً وقيمًا يبحث النظام عن إسنادها. وقد استخدمت برولوج في أنظمة الذكاء الاصطناعي، ومعالجة اللغة، ومشروعات الحوسبة المنطقية، وظلت مثالاً بارزاً على نمط برمجي يركز على وصف العلاقات أكثر من وصف خطوات التنفيذ.
المقبس في الشبكات قناة اتصال منطقية تتيح لتطبيقين أو جهازين تبادل البيانات عبر منفذ محدد وبروتوكول نقل مثل تي سي بي أو يو دي بي. يستخدم المقبس في معظم عمليات الاتصال الشبكي، من تصفح الإنترنت إلى تبادل البيانات بين البرامج، لأنه يوفر نقطة نهاية يمكن للبرامج فتحها وإدارتها. ورغم أن البرمجة بالمقابس تعد منخفضة المستوى نسبياً، فإنها بقيت أساساً لفهم الاتصال الرقمي وبناء الخدمات الشبكية.
التجانس صفة تدل على تساوي التركيب أو الخصائص في نظام كامل أو مخلوط أو وسط فيزيائي أو كيميائي. يكون المخلوط متجانساً عندما تتشابه عيناته المأخوذة من مواضع مختلفة في تركيبها، مثل محلول الملح في الماء، بخلاف مخاليط لا تكفي فيها عملية المزج لجعل مكوناتها موزعة بالتساوي. يستعمل المفهوم أيضاً في الرياضيات والفيزياء والكيمياء، ومنه تجانس المعادلات من حيث الوحدات، حيث يجب أن تكون المقادير في طرفي المعادلة من النوع نفسه حتى تكون ذات معنى فيزيائي.
من نحن •  سياسة الخصوصية •  اتصل بنا
قبسة