Please enable JavaScript.
Coggle requires JavaScript to display documents.
:broken_heart: گسسته - Coggle Diagram
:broken_heart: گسسته
:tada:
مجموع هر دو عدد گویا = عددی گویا
زمانی گزاره دو شرطی
دارای مثال نقض
حکمش نادرست
وقتی حکم = عدد گنگ است
اثبات با برهان خلف
استدلال
استنتاجی
به روش straight
بازگردانی به زبان ریاضی
رسیدن از فرض به حکم
key word : اثبات درستی
اثبات به کمک
بودن T or F
حقایقی که پذیرفتیم
مثال نقض
اثبات درستی حکم :red_cross:
اثبات نادرستی حکم :check:
اشباع
بررسی همه حالات ممکن
برهان خلف
فرض اولیه = حکم ثانویه
only when
we have faith in the correctness of our حکم
نقیض حکم = فرض ثانویه
اثبات
رفت
روش مستقیم
برگشت
برهان خلف
وقتی برگشت -> غ
با مثال نقض میریم
به نقیض فرض اولیه میرسیم
بازگشتی
تبدیل به حکم های ساده تر
در نامساوی ها
در پایان باید برسیم به جملات همیشه درست
اتحاد ها
<=>
:
اوردن
برای اثبات
دلیل و برهان منطقی