لازم و کافی
لازم و کافی (به انگلیسی: Necessity and sufficiency) عنوانهایی برای شرطهای منطقی هستند. اگر "ب" شرط لازم برای "الف" باشد، آنگاه از درستی الف میتوان درستی ب را نتیجه گرفت. به عبارت دیگر، غیرممکن است که الف درست و ب نادرست باشد. در مقابل، الف شرط کافی برای ب است، در صورتی که از درستی الف، بتوان درستی ب را نتیجه گرفت. اما در صورت نادرستی الف، نمیتوان به نادرستی ب رسید.
با این توصیفات، الف شرط لازم و کافی برای ب است اگر بتوان از درستی الف، درستی ب را نتیجه گرفت و بالعکس. شرط لازم و کافی در منطق بهصورت رابطۀ منطقی اگر و تنها اگر بین مقدم و تالی بیان میشود.[۱]
روابط نام برده را در منطق بدین شکل نشان میدهند:
شرط لازم (necessary condition) برای است: .
شرط کافی (sufficient condition) برای است: .
شرط لازم و کافی برای است: که برابر است با .
جستارهای وابسته
[ویرایش]منابع
[ویرایش]- Caplinskas, A.; Dzemyda, G.; Lupeikiene, A. (2013). Databases and Information Systems VII: Selected Papers from the Tenth International Baltic Conference, DB&IS 2012. Frontiers in Artificial Intelligence and Applications (به انگلیسی). IOS Press. Retrieved 2015-03-05.
تاریخ |
| ||||||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
مقالات اصلی |
| ||||||||||||||
مفاهیم منطق |
| ||||||||||||||
مجادلهها |
| ||||||||||||||
افراد اصلی |
| ||||||||||||||
فهرستها |
| ||||||||||||||
Text is available under the CC BY-SA 4.0 license; additional terms may apply.
Images, videos and audio are available under their respective licenses.