مبادئ المنطق وطرق البرهان الرياضي - مطبوعة دروس
En cours de chargement...
Date
2022
Auteurs
Nom de la revue
ISSN de la revue
Titre du volume
Éditeur
كلية العلوم
Résumé
الرياضيات والمنطق علمان متداخلان كل منهما يبرهن على صحة الاخر لذا كان تطورهما
متلازما. لا يمكن تعلم موضوع في الرياضيات غير منطقي، وبالتالي المنطق الرياضي هو
فرع من فروع الرياضيات يهتم باستخدام الرموز المنطقية )أدوات الربط( وهي رموز يتم
بواسطتها ربط العبارات يبعضها البعض للحصول على عبارات منطقية جديدة ونستخدم في
المنطق الرياضي جداول خاصة تعرف باسم جداول الحقيقة )الصحة( وهي تهدف إلى إثبات
صحة قضية ما أو عدم صحتما وهي الطريقة الحسابية الأسهل والأضمن لإيجاد قيم الحقيقة
للعبارة الرياضية وكلها تعبر عن المنطق الجملي.