البرهان غير المباشر ومشکلة التفاف البراهين ومعياريتها في الاستنباط الطبيعى للمنطق الکلاسيکى