سِفر یادگیری

... محلی برای تفکر و شناخت ... جایی برای دقیق و عمیق نگریستن

سِفر یادگیری

... محلی برای تفکر و شناخت ... جایی برای دقیق و عمیق نگریستن

۵ مطلب با موضوع «علمی ، عمومی» ثبت شده است

۲۳تیر

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

فرض کنیم یک دیوانه ی ظالمی کاردی به دست گرفته و سراغ بیچاره ای را می گیرد که شکمش را سفره کند و از تو می پرسد آیا اطلاع داری او کجاست؟ (و تو میدانی) در اینجا تو باید جواب بدهی. اگر بخواهی سکوت کنی ، شکم خودت را سفره می کند. چه جواب می دهی؟ آیا می گویی اطلاع دارم یا می گویی اطلاع ندارم؟ اگر بگویی اطلاع ندارم که دروغ گفته ای ، در حالی که وجدان گفته باید راست بگویی؛ و اگر بگویی اطلاع دارم، از تو می پرسد:کجاست؟ آیا نشان می دهی کجاست یا نه؟ اگر نشان بدهی ، می رود به ناحق شکم او را سفره می کند ، اگر نشان ندهی تو را می کُشَد.

 

آیا وجدان انسان اینقدر مطلق است و می گوید تو باید راست بگویی مطلقا و به نتیجه کار نداشته باشی؟!

 

دروغ مصلحت آمیز

مسئله ی دروغ مصلحت آمیز است که سعدی آورده و در فقه ما هم آمده است. آیا دروغ مصلحت آمیز بهتر از راست فتنه انگیز است یا نه؟ آیا اینکه بشود با یک دروغ جانی را نجات داد بهتر از این نیست که با یک راست گفتن جانی را به خطر بیندازی؟

تفاوت مصلحت با منفعت

فرق است میان دروغ مصحلت آمیز و دروغ منفعت خیز. 

دروغ مصلحت آمیز یعنی دروغی که فلسفه ی دروغ بودن خودش را از دست داده است و فلسفه ی راستی را پیدا کرده است ؛ یعنی دروغی که با آن ، انسان حقیقتی را نجات می دهد.

ولی دروغ منفعت خیز یعنی انسان دروغ می گوید که خودش سودی برده باشد ( حتی به قیمت اینکه حقیقتی را ضایع و نابود کند)

۲۳ارديبهشت

نویسنده : محمد مطیعی


استقرا کِی به درد می خوره؟
معمولا وقتی ما می خوایم یه حکمی رو راجع به یه مساله ثابت بکنیم و اندازه ورودی مساله خیلی بزرگه (مثلا میخوایم یه حکمی رو راجع به یه جدول 2009*2009 ثابت کنیم) یا اینکه اندازه ورودی مساله نامعلومه (مثلا میخوایم یه حکمی رو راجع به n تا خط ثابت کنیم) یکی از روش هایی که می تونه تو اثبات اون حکم کمک ما کنه استقراست.

 


خب حالا استقرا چیکار میکنه؟
 فرض کنید من میخوام از همکف دانشکده با پله ها برم طبقه 3. چیکار باید بکنم؟

۲۲فروردين

- به نام او -

 

همونطور که می دونید استنتاج به معنی نتیجه گرفتن ـه یا به عبارت دیگه" اگر از درستی یک [ تعداد ] گزاره بتونیم درستی گزاره ی دیگه ای رو دقیقا مشخص کنیم " به این کار میگن استنتاج.

 

برای فهم بهتر و دقیق تر به تعریف دقیق استدلال (عملی که منجر به یک استنتاج میشه !) توجه کنید:

استدلال         معتبر است اگر و فقط اگر

۲۷اسفند

 

 

به نام او

در این نوشته در 4بخش قصد داریم تا به بیان تفاوت های چند نمادِ به ظاهر مشابه در منطق و حساب گزاره ها بپردازیم.

 

   

 

 

بخش دوم) عملگر دو شرطی   

 این عملگر در صورتی مقدار TRUE دارد که هم و هم مقدار TRUE داشته باشند. این یعنی هم ارزِ است.

تعابیر مختلف:

P اگر و فقط اگر q

۱۶اسفند

به نام او

در این نوشته در 4بخش قصد داریم تا به بیان تفاوت های چند نمادِ به ظاهر مشابه در منطق و حساب گزاره ها بپردازیم.

1)     

 

                       

 

 

1)      بخش اول) عملگر شرطی   

تعابیر مختلف:

اگر p آنگاه q