روش اثبات قیاس شکل دوم و سوم
روش اثبات شكل دوم:
1- عكس مستوي كبري؛ در صورتي كه كبري سالبه كليه باشد.
در دو ضرب قابل اثابت است
2- برهان خلف: نقيض نتيجه به جاي صغري؛
در هر چهار ضرب قابل اثبات است.
روش اثبات شكل سوم:
1- عكس مستوي صغري؛ در صورتي كه كبري كلي باشد. در چهار ضرب قابل اثبات است
2- برهان خلف: نقيض نتيجه به جاي كبري؛ در دو ضرب قابل اثبات است
روش ديگر (سادهتر) روش اثبات شكل دوم و سوم
1- عكس مستويِ صغري يا كبري: به طوري كه تبديل به شكل اول شود و شرايط انتاج شكل اول را نيز داشته باشد.
|
مثال شكل دوم |
هر الف ب است هيچ ج ب نيست هيچ الف ج نيست |
← |
هر الف ب است هيچ ب ج نيست هيچ الف ج نيست |
|
| |||
|
مثال شكل سوم |
هر الف ب است هر الف ج است بعضي ب ج است |
← |
بعضي ب الف است هر الف ج است بعضي ب ج است |
در صورتي كه از را عكس مستوي امكانپذير نبود از راه برهان خلف استفاده ميكنيم:
2- برهان خلف: نقيض نتيجه به جاي صغري يا كبري، به طوري كه تبديل به شكل اول شود و شرايط انتاج شكل اول را نيز داشته باشد.
|
مثال شكل دوم |
هيچ الف ب نيست هر ج ب است هيچ الف ج نيست |
|
بعضي الف ج است هر ج ب است بعضي الف ب است (متناقض با صغري) |
|
| |||
|
مثال شكل سوم |
هر ب الف است بعضي ب ج است بعضي الف ج است |
|
هر ب الف است هيچ الف ج نيست هيچ ب ج نيست (متناقض با كبري) |