سوالی جالب در منطق
دوشنبه, ۲۴ مهر ۱۳۹۱، ۱۱:۴۷ ق.ظ
سلام
میدانیم هرگاه گزاره «اگر الف آنگاه ب» غلط باشد گزاره «اگر ب آنگاه الف درست است»
دلیل: تنها زمانی «اگر الف آنگاه ب» غلط است که «الف» درست باشد و «ب» غلط. حال چون «ب» غلط است هر نتیجه ای از آن میتوان گرفت از جمله «الف»!
حال سوال زیر مطرح می شود:
عکس گزاره زیر چیست؟
به ازای هر الف اگر الف مثلث متساوی الاضلاع باشد آنگاه الف مثلث قائم الزاویه است
چند نکته در رابطه با سوال فوق:
1) به سورهای موجود در گزاره فوق دقت کنید
2) دقت کنید که عکس گزاره شرطی غلط درست است
3) در عکس کردن یک گزاره شرطی دقت کنید که شرط و مشروط چیست
پاسخ در ادامه مطب
اگر با نمادهای ریاضی به صورت دقیق نوشته شود داریم:
A: مجموعه متساوی الاضلاع
پس جمله فوق به صورت زیر بازنویسی میشود:
یعنی جمله فوق اصلا شرطی نبود!
