اشرح المفاهيم الأساسية للمنطق الرياضي، بما في ذلك العبارات والعمليات المنطقية (النفي، والعطف، والفصل، والاستلزام، والتكافؤ). اشرح الفرق بين البرهان المباشر والبرهان بالتناقض، مع تقديم مثال لكل منهما. كيف يمكن تطبيق هذه المفاهيم في حل المسائل الرياضية؟