قيمة صواب
تعرف قيمة الصواب[1] أو قيمة الحقيقة في المنطق الرياضي بأنها القيمة التي تشير إلى أن العلاقة المفترضة هي علاقة صحيحة.[2][3] تعتبر القيمة الحقيقية في المنطق التقليدي قيمة صحيحة وخاطئة في حالتين مختلفتين ومنفصلتين من الحالات الوجود-رياضياتية، أما المنطق الإستدلالي فيفتقر لمفهوم قيمة الحقيقة لأنه يعتمد على الاستدلال أو البرهنة باستخدام الفينونيات الأولية للمنطقانية[مبهم].
يستخدم هذا المفهوم بشكل أوسع في مجال تطبيقات الجبر البولياني و اشتقاقاته في الدارات المنطقية وتطبيقات الحوسبة .
انظر أيضا
| وظيفي: |
|  |
|---|---|---|
| شكلي: | ||
| النفي: |
| |
مراجع
- رأفت رياض رزق، المنطق الرياضى، ktab INC.، مؤرشف من الأصل في 11 مارس 2020.
- 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 على موقع واي باك مشين.
وصلات خارجية
بوابة علم النفس
بوابة تفكير
بوابة رياضيات
بوابة فلسفة
بوابة منطق
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.