وقتی تصمیم گرفتم روی انجام اثبات عام کار کنم، دو انتخاب پیش رویم بود. 
  •  چگونگی ساختن مثال عام
  •  انتقال اثبات عام به اثبات صوری 

من اولی را انتخاب کردم. چون در دوران کارشناسی ساختن اثبات برایم سخت تر از نوشتن صوری اثبات بود. فکر می کردم ساختن اثبات از نوشتن آن به شکل صوری مهمتر است.

اما الان وضعیت فرق می کند. اکنون دارم از دیدگاه یک معلم به جریان اثبات عام فکر می کنم. این نوع نگاه از چند روز پیش شروع شد. یکی از دوستان که برای اولین بار معلم کلاس هفتم است، از مشکلات خود در هنگام تدریس استدلال استنتاجی به دانش آموزان صحبت می کرد.

همه ما استدلال استنتاجی را در دوران راهنمایی و با هندسه اقلیدسی آغاز کردیم. معمولا استدلال روی شکل آسان تر بود. ببینید این شکل های هندسی مثال عام هستند. بنابراین وقتی ما روی شکل اثبات را توضیح می دهیم، در واقع یک اثبات عام را انجام دادیم. مرحله بعد صوری نوشتن این نوع اثبات هاست. که مشکلات دانش آموزان معمولا در این مرحله دیده می شود.

اگر به عنوان دانش آموز یا معلم تجربه ای از ورود به استدلال صوری داشتید، خوشحال می شوم بیان کنید. قطعا به من کمک خواهد کرد. اگر به عنوان معلم نحوه ورودتان به استدلال صوری را بیان کنید، بیشتر خوشحال می شوم. یعنی تو را خدا نظر بدین!

پ.ن. بنا به تقاضای دوستی همواره عزیز پاور پوینت دفاعم را اینجاگذاشتم. یه کم دیره ولی به هر حال گذاشتم.