مبادئ المنطق وطرق البرهان الرياضي - مطبوعة دروس
Loading...
Date
2022
Authors
Journal Title
Journal ISSN
Volume Title
Publisher
كلية العلوم
Abstract
الرياضيات والمنطق علمان متداخلان كل منهما يبرهن على صحة الاخر لذا كان تطورهما
متلازما. لا يمكن تعلم موضوع في الرياضيات غير منطقي، وبالتالي المنطق الرياضي هو
فرع من فروع الرياضيات يهتم باستخدام الرموز المنطقية )أدوات الربط( وهي رموز يتم
بواسطتها ربط العبارات يبعضها البعض للحصول على عبارات منطقية جديدة ونستخدم في
المنطق الرياضي جداول خاصة تعرف باسم جداول الحقيقة )الصحة( وهي تهدف إلى إثبات
صحة قضية ما أو عدم صحتما وهي الطريقة الحسابية الأسهل والأضمن لإيجاد قيم الحقيقة
للعبارة الرياضية وكلها تعبر عن المنطق الجملي.