قيمة صواب
تعرف قيمة الصواب[1] أو قيمة الحقيقة[2] في المنطق الرياضي بأنها القيمة التي تشير إلى أن العلاقة المفترضة هي علاقة صحيحة.[3][4] تعتبر القيمة الحقيقية في المنطق التقليدي [الإنجليزية] قيمة صحيحة وخاطئة في حالتين مختلفتين ومنفصلتين من الحالات الوجود-رياضياتية، أما المنطق الاستدلالي فيفتقر لمفهوم قيمة الحقيقة لأنه يعتمد على الاستدلال أو البرهنة باستخدام الفينونيات الأولية للمنطقانية[مبهم].
يستخدم هذا المفهوم بشكل أوسع في مجال تطبيقات الجبر البولياني و اشتقاقاته في الدارات المنطقية وتطبيقات الحوسبة .
انظر أيضا
[عدل]مراجع
[عدل]- ^ المعجم الموحد لمصطلحات الرياضيات والفلك: (إنجليزي - فرنسي - عربي)، سلسلة المعاجم الموحدة (3) (بالعربية والإنجليزية والفرنسية)، تونس: مكتب تنسيق التعريب، 1990، ص. 154، OCLC:4769958475، QID:Q114600477
- ^ موفق دعبول؛ بشير قابيل؛ مروان البواب؛ خضر الأحمد (2018)، معجم مصطلحات الرياضيات (بالعربية والإنجليزية)، دمشق: مجمع اللغة العربية بدمشق، ص. 732، OCLC:1369254291، QID:Q108593221
- ^ Compositionnalité : questions philosophiques. In D. Godard, L. Roussarie et F. Corblin (éd.), Sémanticlopédie : dictionnaire de sémantique نسخة محفوظة 08 أكتوبر 2017 على موقع واي باك مشين.
- ^ Proof that intuitionistic logic has no third truth value, Glivenko 1928 نسخة محفوظة 11 سبتمبر 2018 على موقع واي باك مشين.
| وظيفي: |  | |
|---|---|---|
| شكلي: | ||
| النفي: | ||
