💔 گسسته

استدلال

استنتاجی

:

اوردن

برای اثبات

دلیل و برهان منطقی

به روش straight

اثبات به کمک

بودن T or F

حقایقی که پذیرفتیم

بازگردانی به زبان ریاضی

رسیدن از فرض به حکم

key word : اثبات درستی

مثال نقض

اثبات درستی حکم ❌

اثبات نادرستی حکم ✅

اشباع

بررسی همه حالات ممکن

برهان خلف

فرض اولیه = حکم ثانویه

only when

نقیض حکم = فرض ثانویه

اثبات

رفت

we have faith in the correctness of our حکم

به نقیض فرض اولیه میرسیم

برگشت

روش مستقیم

برهان خلف

وقتی برگشت -> غ

با مثال نقض میریم

بازگشتی

تبدیل به حکم های ساده تر

در نامساوی ها

در پایان باید برسیم به جملات همیشه درست

اتحاد ها

<=>

🎉

مجموع هر دو عدد گویا = عددی گویا

زمانی گزاره دو شرطی

دارای مثال نقض

حکمش نادرست

وقتی حکم = عدد گنگ است

اثبات با برهان خلف

click to edit