💔 گسسته
استدلال
استنتاجی
:
اوردن
برای اثبات
دلیل و برهان منطقی
به روش straight
اثبات به کمک
بودن T or F
حقایقی که پذیرفتیم
بازگردانی به زبان ریاضی
رسیدن از فرض به حکم
key word : اثبات درستی
مثال نقض
اثبات درستی حکم ❌
اثبات نادرستی حکم ✅
اشباع
بررسی همه حالات ممکن
برهان خلف
فرض اولیه = حکم ثانویه
only when
نقیض حکم = فرض ثانویه
اثبات
رفت
we have faith in the correctness of our حکم
به نقیض فرض اولیه میرسیم
برگشت
روش مستقیم
برهان خلف
وقتی برگشت -> غ
با مثال نقض میریم
بازگشتی
تبدیل به حکم های ساده تر
در نامساوی ها
در پایان باید برسیم به جملات همیشه درست
اتحاد ها
<=>
🎉
مجموع هر دو عدد گویا = عددی گویا
زمانی گزاره دو شرطی
دارای مثال نقض
حکمش نادرست
وقتی حکم = عدد گنگ است
اثبات با برهان خلف
click to edit