لازم و کافی

از ویکی‌پدیا، دانشنامهٔ آزاد
پرش به: ناوبری، جستجو

لازم و کافی عنوان‌هایی برای شرط‌های منطقی هستند. اگر الف شرط لازم برای ب باشد، آنگاه از درستی ب می‌توان درستی الف را نتیجه گرفت. در مقابل شرط کافی برای ب، به آن شرطی گفته می‌شود که در صورت اثبات درستی‌اش، بتوان درستی ب را نتیجه گرفت. یک شرط لازم و کافی بیان‌گر رابطه‌ای از نوع اگر و تنها اگر بین مقدم و تالی است، به این معنی که درستی هر یک درستی دیگری را نتیجه می‌دهد.[۱]

جستارهای وابسته[ویرایش]

منابع[ویرایش]